diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2022-04-04 19:54:24 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-04-04 19:54:24 -0600 |
| commit | 877275e40301383b2fefc6ddcea15b1f04ddd6ab (patch) | |
| tree | 97929a78ed3666b03671fd0164cdc2869575e6c1 /src/Internal/Lib.hs | |
| parent | ab90e6f48f5448fa385e1d6f96f95ac723910264 (diff) | |
| parent | 20aaf1e159b6128ad136c0bcf489c0ac0ebc76f5 (diff) | |
| download | rde-877275e40301383b2fefc6ddcea15b1f04ddd6ab.tar.gz rde-877275e40301383b2fefc6ddcea15b1f04ddd6ab.tar.bz2 rde-877275e40301383b2fefc6ddcea15b1f04ddd6ab.zip | |
Merge branch 'v017' of josher.dev:rde into v017
Diffstat (limited to 'src/Internal/Lib.hs')
| -rw-r--r-- | src/Internal/Lib.hs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/Internal/Lib.hs b/src/Internal/Lib.hs index e608bb0..c29ca31 100644 --- a/src/Internal/Lib.hs +++ b/src/Internal/Lib.hs @@ -77,8 +77,7 @@ gotoAccompaningWorkspace = do else gotoWorkspace (toUpper cur) gotoWorkspace :: WorkspaceName -> X () -gotoWorkspace ch = do - saveLastMark +gotoWorkspace ch = pushHistory $ do addHiddenWorkspace [ch] windows $ greedyView $ return ch @@ -149,7 +148,7 @@ withScreen fn n = do Just screen -> fn (tag $ workspace screen) windowSet windowJump :: X () -windowJump = do +windowJump = pushHistory $ do windowTitlesToWinId <- withWindowSet $ \ss -> Map.fromList <$> mapM (\wid -> (,) <$> getString wid <*> return wid) (allWindows ss) @@ -157,6 +156,4 @@ windowJump = do case windowId of Nothing -> return () - Just wid -> do - saveLastMark - focus wid + Just wid -> focus wid |