From dc83dc6725c7af7dc7345b6085ac8f281602946a Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Tue, 5 Mar 2024 10:24:45 -0700 Subject: 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. --- src/Wetterhorn/Core/W.hs | 1 + 1 file changed, 1 insertion(+) (limited to 'src') 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 -- cgit