| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
| |
This fixes the bug where many bindings don't work if numberlock is set.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
| |
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.
|
| |
|
|
| |
GHC left some of the unused imports as `import X ()`
|
| |
|
|
|
| |
This is achieved by using `stack build --ghc-options=-ddump-minimal-imports`
and looking for the *.imports files.
|
| |
|
|
|
| |
Button mapping is now similar in architecture to KeyMapping. As a
consequence it works with the pending buffer.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
This time history is being done using a hook to keep track of history.
This means I don't have to manually call pushHistory every time I focus
a new window.
|
| |
|
|
| |
timeout to nextButton
|
| | |
|
| |
|
|
|
| |
It's not the best thing in the world, but it should help keep things in
a consistent state when dealing with many multi-stroke bindings.
|
| |
|
