diff options
| author | Josh Rahm <rahm@google.com> | 2024-03-05 10:24:45 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2024-03-05 10:24:45 -0700 |
| commit | dc83dc6725c7af7dc7345b6085ac8f281602946a (patch) | |
| tree | 480e644bc144fbab444dd46c1fff4dcd4be74455 /src/Config.hs | |
| parent | ba40cdae500f153633dc306c03b0709c2c6f0276 (diff) | |
| download | montis-dc83dc6725c7af7dc7345b6085ac8f281602946a.tar.gz montis-dc83dc6725c7af7dc7345b6085ac8f281602946a.tar.bz2 montis-dc83dc6725c7af7dc7345b6085ac8f281602946a.zip | |
Added some escape-hatch keybindings for Wetterhorn.
Specifically a way to reload the plugin and switch vterms. This is
important in case the plugin is borked and stops accepting keyboard, the
user can switch to a vterm, fix the plugin and reload it to get things
working again without running into data loss.
Diffstat (limited to 'src/Config.hs')
0 files changed, 0 insertions, 0 deletions