aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAge
...
* 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 ↵Josh Rahm2023-12-04
| | | | left/right. It is more intuitive and is more flexible. As a part of this, I incresed the timeout for multiple button bindings to 5000ms like how keystrokes work.
* Minor code improvementsJosh Rahm2023-11-30
|
* run ormoluJosh Rahm2023-11-30
|
* Better modelling for moving between windows. Reworked shifting windows and ↵Josh Rahm2023-11-30
| | | | made the movement atomic to improve speed
* Change win+w to a swap windows command.Josh Rahm2023-11-30
|
* Make a couple mouse bindings nicer.Josh Rahm2023-11-26
| | | | | | | | 1. Change swap windows to be button13 + mousewheel instead of mouse wheel buttons 2. Change the history double-tap button to focus the window under the cursor before going back.
* Better implementation of history.Josh Rahm2023-11-26
| | | | | | | Each screen now has its own history and if a workspace is swapped with another visible workspace, the history between those screens is also swapped, so this gives a feeling of a kind of persistent history that follows the screen.
* Change history to work on a per-screen basis.Josh Rahm2023-11-25
| | | | | | | | | This change is still experimental, but it is more intuitive that each screen has its own history because each screen is generally dedicated to a specific use case. I'm going to try this on for size, though it is possible that per-workspace history mighte prove to be more useful. We'll see.
* 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
| | | | | | | | Perhaps a Python script is in order to make it less ugly, but as things stand it works. This also uses the XDG_RUNTIME_DIR to store the variable associated with the target to control.
* Rename spotify-control to media-control.Josh Rahm2023-02-03
| | | | This is part of a plan to decouple Spotify from RDE.
* Make the history zipper state persistent.Josh Rahm2022-12-14
| | | | I don't know why it wasn't always persistent ...
* Run "rescreen" when restoring a Theater to avoid discrepencies when using xrandrJosh Rahm2022-11-28
|
* Change Swap to be instead a shift-and-follow.Josh Rahm2022-11-28
|
* Fully persistent macro settings. Stores the macros in a fileJosh Rahm2022-11-23
|
* Macros should take precedence for windowsetsJosh Rahm2022-11-23
|
* More documentation in Wml.hsJosh Rahm2022-11-23
|
* Change WML to give precedence to macros over everything else.Josh Rahm2022-11-23
| | | | | | | | This makes it so one can record a macro to M- keys where the lookupString might be alphanumeric, but has another modifier. This allows one to write a macro for double tapping <M-g><M-g>, for example.
* address a couple hlint issues.Josh Rahm2022-11-23
|
* Remove "import Prelude" from Workspaces.hsJosh Rahm2022-11-23
|
* Add export lists to all modules.Josh Rahm2022-11-23
|
* PendingBuffer now shows "'" when "'" is pressed instead of "w".Josh Rahm2022-11-23
|
* Cleanup import/export list for PendingBuffer.hsJosh Rahm2022-11-23
|
* Remove more unused imports.Josh Rahm2022-11-23
| | | | GHC left some of the unused imports as `import X ()`
* Remove PromptConfig.hs. Not used.Josh Rahm2022-11-23
|
* Remove Desktop.hs. It has be superseded with Theaters.Josh Rahm2022-11-23
|
* Remove MouseMotion.hs. It's old bloat.Josh Rahm2022-11-23
|
* Remove NoPersist.hs. It is redundant to ExtensionClass.Josh Rahm2022-11-23
|
* Change to use minimal imports.Josh Rahm2022-11-23
| | | | | This is achieved by using `stack build --ghc-options=-ddump-minimal-imports` and looking for the *.imports files.
* Remove Swallow. It does not work well and is counter-productiveJosh Rahm2022-11-22
|
* Clean up import list in Keys.hsJosh Rahm2022-11-22
|
* Remove some layout bloat.Josh Rahm2022-11-22
| | | | | | | | Remove a bunch of esentially-unused layouts. Now the layouts are: - Spiral - Mosaic - Tall
* Bunch of changes to XMobarJosh Rahm2022-11-22
|
* Implement documentation for mouse bindings.Josh Rahm2022-11-22
|
* More consistent handling with button mapping.Josh Rahm2022-11-22
| | | | | Button mapping is now similar in architecture to KeyMapping. As a consequence it works with the pending buffer.
* 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
|
* WIP: trying to make the pending buffer betterJosh Rahm2022-11-21
|
* Rudimentary pending buffer shown in Xmobar.Josh Rahm2022-11-21
|
* Merge branch 'v017' of josher.dev:rde into v017Josh Rahm2022-11-21
|\
| * Update to xmobarJosh Rahm2022-11-21
| |
| * Enable LambdaCaseJosh Rahm2022-11-21
| |
| * Format with ormolu.Josh Rahm2022-11-21
| |
* | Add clickable Theaters to xmobar.Josh Rahm2022-11-21
|/
* Add better theater reporting to xmobarJosh Rahm2022-11-20
|
* 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
|