diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-28 18:15:34 -0600 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-04-28 18:15:34 -0600 |
| commit | fcea6ce1371de988deb2dd719263cb2c9c59dfd7 (patch) | |
| tree | 29cfd78c34160715fd33e3133f74a704318841ca /src/Rahm/Desktop/Common.hs | |
| parent | 9b60476c272d5a9dd8cce4b811c2da6ee4a203aa (diff) | |
| download | rde-fcea6ce1371de988deb2dd719263cb2c9c59dfd7.tar.gz rde-fcea6ce1371de988deb2dd719263cb2c9c59dfd7.tar.bz2 rde-fcea6ce1371de988deb2dd719263cb2c9c59dfd7.zip | |
Add Bordering layout.
The bordering layout can add windows along the border of the screen,
that way something like videos or something can be shown in the corner
of the screen.
Diffstat (limited to 'src/Rahm/Desktop/Common.hs')
| -rw-r--r-- | src/Rahm/Desktop/Common.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Rahm/Desktop/Common.hs b/src/Rahm/Desktop/Common.hs index 8790d84..3e6d54c 100644 --- a/src/Rahm/Desktop/Common.hs +++ b/src/Rahm/Desktop/Common.hs @@ -112,6 +112,8 @@ withBorderWidth width ws fn = do forM_ ws $ \window -> io $ setWindowBorderWidth d window 2 + refresh + return ret gotoWorkspace :: WorkspaceId -> X () |