diff options
| author | Josh Rahm <rahm@google.com> | 2022-11-28 16:36:39 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-11-28 16:36:39 -0700 |
| commit | 1635193f5e298e41dc963b90993b59dd99958046 (patch) | |
| tree | 281f56e2ef0d71ec41fde1ef3e7c93e796c4e563 /src | |
| parent | 2829111efd1e9274201020df313e1443c2877017 (diff) | |
| download | rde-1635193f5e298e41dc963b90993b59dd99958046.tar.gz rde-1635193f5e298e41dc963b90993b59dd99958046.tar.bz2 rde-1635193f5e298e41dc963b90993b59dd99958046.zip | |
Run "rescreen" when restoring a Theater to avoid discrepencies when using xrandr
Diffstat (limited to 'src')
| -rw-r--r-- | src/Rahm/Desktop/Theater.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Rahm/Desktop/Theater.hs b/src/Rahm/Desktop/Theater.hs index 665f6f1..7fcd085 100644 --- a/src/Rahm/Desktop/Theater.hs +++ b/src/Rahm/Desktop/Theater.hs @@ -32,6 +32,7 @@ import qualified XMonad as X readsLayout, windows, withWindowSet, + rescreen ) import qualified XMonad.StackSet as W ( Screen (..), @@ -129,6 +130,8 @@ restoreTheater name = do saveTheater name newStackSet X.windows $ const newStackSet + X.rescreen + isStackSetEmpty :: (Eq i, Eq a) => i -> W.StackSet i l a si sd -> Bool isStackSetEmpty hiddenWorkspace = |