index
:
rde.git
doc
experimental_mouse_mask
experimental_only_bind_necessary
main
master
pinwindow
v017
wip_mapping_keycodes
Rahm's Rice'd Desktop Environment
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Rahm
/
Desktop
/
Keys.hs
Commit message (
Expand
)
Author
Age
*
Add ability to seek media with shift+next/prev.
Josh Rahm
2023-02-03
*
Decouple RDE from spotify by allowing the user to select the media to control
Josh Rahm
2023-02-03
*
Rename spotify-control to media-control.
Josh Rahm
2023-02-03
*
Change Swap to be instead a shift-and-follow.
Josh Rahm
2022-11-28
*
PendingBuffer now shows "'" when "'" is pressed instead of "w".
Josh Rahm
2022-11-23
*
Clean up import list in Keys.hs
Josh Rahm
2022-11-22
*
Remove some layout bloat.
Josh Rahm
2022-11-22
*
Implement documentation for mouse bindings.
Josh Rahm
2022-11-22
*
More consistent handling with button mapping.
Josh Rahm
2022-11-22
*
Remove some unused key bindings to help simplify things
Josh Rahm
2022-11-22
*
withPendingBuffer -> pushPendingBuffer.
Josh Rahm
2022-11-22
*
Better implementation of the pending buffer. Still need to iron out some bugs.
Josh Rahm
2022-11-22
*
Rudimentary pending buffer shown in Xmobar.
Josh Rahm
2022-11-21
*
Format with ormolu.
Josh Rahm
2022-11-21
*
Remove border-width change for shifting windows.
Josh Rahm
2022-11-20
*
Rebind theater selection to M-S-g instead of M-C-g.
Josh Rahm
2022-11-20
*
Add "Theaters" to RDE.
Josh Rahm
2022-11-20
*
Change term "Theater" -> "Desktop"
Josh Rahm
2022-11-20
*
Merge remote-tracking branch 'origin/v017' into v017
Josh Rahm
2022-11-20
|
\
|
*
Add "Theater" concept.
Josh Rahm
2022-11-18
|
*
Change up the override keys for browsers
Josh Rahm
2022-06-08
|
*
Change WML workspaces to have a Maybe name.
Josh Rahm
2022-05-01
|
*
Add Bordering layout.
Josh Rahm
2022-04-28
|
*
Add M-S-s to swap windows with eachother
Josh Rahm
2022-04-24
|
*
Roll Windows.hs into R.D.StackSet
Josh Rahm
2022-04-24
|
*
Roll ScreenRotate into StackSet
Josh Rahm
2022-04-24
|
*
Add R.D.StackSet as a replacement for StackSet.
Josh Rahm
2022-04-24
|
*
Run hlint
Josh Rahm
2022-04-22
|
*
Some new styling and better logging capabilites
Josh Rahm
2022-04-22
|
*
Infrastructure for better logging, finally!
Josh Rahm
2022-04-22
|
*
Add macro support to WML.
Josh Rahm
2022-04-20
|
*
Highlight windows for marking too
Josh Rahm
2022-04-18
|
*
Change window border when selecting windows
Josh Rahm
2022-04-18
|
*
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features ...
Josh Rahm
2022-04-18
|
*
Extend marking language to the mark command itself
Josh Rahm
2022-04-18
|
*
Add basic language for moving windows around
Josh Rahm
2022-04-18
|
*
Starting to implement window management language
Josh Rahm
2022-04-17
|
*
Merge branch 'v017' of josher.dev:rde into v017
Josh Rahm
2022-04-16
|
|
\
|
|
*
fix some hlint warnings
Josh Rahm
2022-04-16
|
|
*
Make history much, much more reliable.
Josh Rahm
2022-04-15
|
*
|
Switch Ctrl-i and Ctrl-d for chrome bindings
Josh Rahm
2022-04-16
|
|
/
|
*
Some changes to marking
Josh Rahm
2022-04-14
|
*
Rename KeysM -> Keys/Dsl
Josh Rahm
2022-04-14
|
*
Minor changes
Josh Rahm
2022-04-14
|
*
Make workspaces more consistent
Josh Rahm
2022-04-14
|
*
[WIP] Working on better workspaces
Josh Rahm
2022-04-13
|
*
Add ConsistentMosaic, a wrapper to make Mosaic more consistent.
Josh Rahm
2022-04-13
|
*
Fix repeatable key to do an action when first pressed.
Josh Rahm
2022-04-12
|
*
Add type-static way to get the length of a LayoutList
Josh Rahm
2022-04-12
|
*
Clean up LayoutList and move to Layout.List
Josh Rahm
2022-04-12
[next]