diff options
| author | Josh Rahm <rahm@google.com> | 2024-01-26 14:59:59 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-01-26 14:59:59 -0700 |
| commit | 0f33a79450f4a56e52c90e045ebf1ffcd0fbc86f (patch) | |
| tree | 6a3476d49e1d3b5f3eef280ae9a85ed6a2a8422f /src/Rahm/Desktop/StackSet.hs | |
| parent | b9a74dbb95e7262a70ca4fe4e7305e15d8745d23 (diff) | |
| download | rde-0f33a79450f4a56e52c90e045ebf1ffcd0fbc86f.tar.gz rde-0f33a79450f4a56e52c90e045ebf1ffcd0fbc86f.tar.bz2 rde-0f33a79450f4a56e52c90e045ebf1ffcd0fbc86f.zip | |
Add withNextWorkspaceOrKey.
This function invokes a handler if a WML workspace is entered, or if a
non-Wml key is entered, it invokes a different handler.
This allows Wml-tied keys like 'g' to handle non-wml sequences. I.e. "g
<F1>" now displays help.
Diffstat (limited to 'src/Rahm/Desktop/StackSet.hs')
0 files changed, 0 insertions, 0 deletions