diff options
| author | Josh Rahm <rahm@google.com> | 2023-12-06 18:03:11 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2023-12-06 18:03:11 -0700 |
| commit | 74cdda710ffa1f99d8251759a62e1bea9fc61ff5 (patch) | |
| tree | a8aeb1bb9e6553263d6c9173c48f39f77856735e /src/Main.hs | |
| parent | 8e2466e4b9a656622878d197e0d47161e6e10c4b (diff) | |
| download | rde-74cdda710ffa1f99d8251759a62e1bea9fc61ff5.tar.gz rde-74cdda710ffa1f99d8251759a62e1bea9fc61ff5.tar.bz2 rde-74cdda710ffa1f99d8251759a62e1bea9fc61ff5.zip | |
Add new 'selected windows' feature
This new feature creates a 'selected windows' buffer which allows
the user to select windows. These windows are then automatically
made the argument for a Wml window operation such as shifting.
This is great for when one wants to apply an action to a set of windows
which are too difficult to describe with Wml expressions.
In addition, I have added a bunch of mouse bindings and key bindings
to this.
Diffstat (limited to 'src/Main.hs')
0 files changed, 0 insertions, 0 deletions