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 | |
| 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')
| -rw-r--r-- | src/Wetterhorn/Core/W.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Wetterhorn/Core/W.hs b/src/Wetterhorn/Core/W.hs index b809545..b2c6b51 100644 --- a/src/Wetterhorn/Core/W.hs +++ b/src/Wetterhorn/Core/W.hs @@ -224,6 +224,7 @@ shellExec = wio . ForeignInterface.doShellExec wio :: IO a -> W a wio = liftIO +-- | Type class to lift an arbitrary 'W' computation into another monad. class Wlike m where liftW :: W a -> m a |