aboutsummaryrefslogtreecommitdiff
path: root/src/Rahm/Desktop/Keys.hs
Commit message (Expand)AuthorAge
...
* Still a work-in-progress, but better dragging window.Josh Rahm2023-12-05
* Add ability to tile-dragJosh Rahm2023-12-05
* Added a couple of draggable bindings.Josh Rahm2023-12-04
* Better history. Works even when non-current screens changeJosh Rahm2023-12-04
* Add ability to swap two workspaces with the W commandJosh Rahm2023-12-04
* Fix bug in master swapping where the last window is not scoped to a tag.Josh Rahm2023-12-04
* Change the rotate-screen-left/right to just swap current screen with left/rig...Josh Rahm2023-12-04
* Minor code improvementsJosh Rahm2023-11-30
* run ormoluJosh Rahm2023-11-30
* Better modelling for moving between windows. Reworked shifting windows and ma...Josh Rahm2023-11-30
* Change win+w to a swap windows command.Josh Rahm2023-11-30
* Make a couple mouse bindings nicer.Josh Rahm2023-11-26
* Add ability to seek media with shift+next/prev.Josh Rahm2023-02-03
* Decouple RDE from spotify by allowing the user to select the media to controlJosh Rahm2023-02-03
* Rename spotify-control to media-control.Josh Rahm2023-02-03
* Change Swap to be instead a shift-and-follow.Josh Rahm2022-11-28
* PendingBuffer now shows "'" when "'" is pressed instead of "w".Josh Rahm2022-11-23
* Clean up import list in Keys.hsJosh Rahm2022-11-22
* Remove some layout bloat.Josh Rahm2022-11-22
* Implement documentation for mouse bindings.Josh Rahm2022-11-22
* More consistent handling with button mapping.Josh Rahm2022-11-22
* Remove some unused key bindings to help simplify thingsJosh Rahm2022-11-22
* withPendingBuffer -> pushPendingBuffer.Josh Rahm2022-11-22
* Better implementation of the pending buffer. Still need to iron out some bugs.Josh Rahm2022-11-22
* Rudimentary pending buffer shown in Xmobar.Josh Rahm2022-11-21
* Format with ormolu.Josh Rahm2022-11-21
* Remove border-width change for shifting windows.Josh Rahm2022-11-20
* Rebind theater selection to M-S-g instead of M-C-g.Josh Rahm2022-11-20
* Add "Theaters" to RDE.Josh Rahm2022-11-20
* Change term "Theater" -> "Desktop"Josh Rahm2022-11-20
* Merge remote-tracking branch 'origin/v017' into v017Josh Rahm2022-11-20
|\
| * Add "Theater" concept.Josh Rahm2022-11-18
| * Change up the override keys for browsersJosh Rahm2022-06-08
| * Change WML workspaces to have a Maybe name.Josh Rahm2022-05-01
| * Add Bordering layout.Josh Rahm2022-04-28
| * Add M-S-s to swap windows with eachotherJosh Rahm2022-04-24
| * Roll Windows.hs into R.D.StackSetJosh Rahm2022-04-24
| * Roll ScreenRotate into StackSetJosh Rahm2022-04-24
| * Add R.D.StackSet as a replacement for StackSet.Josh Rahm2022-04-24
| * Run hlintJosh Rahm2022-04-22
| * Some new styling and better logging capabilitesJosh Rahm2022-04-22
| * Infrastructure for better logging, finally!Josh Rahm2022-04-22
| * Add macro support to WML.Josh Rahm2022-04-20
| * Highlight windows for marking tooJosh Rahm2022-04-18
| * Change window border when selecting windowsJosh Rahm2022-04-18
| * Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features ...Josh Rahm2022-04-18
| * Extend marking language to the mark command itselfJosh Rahm2022-04-18
| * Add basic language for moving windows aroundJosh Rahm2022-04-18
| * Starting to implement window management languageJosh Rahm2022-04-17
| * Merge branch 'v017' of josher.dev:rde into v017Josh Rahm2022-04-16
| |\
generated by cgit (git 2.34.1) at 2026-02-22 13:39:04 +0000