diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-18 16:38:05 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c (patch) | |
| tree | 2e23dea6f2f4c45ccd7a8e0f9be5fc5a6da2fb71 /src/Rahm/Desktop/Marking.hs | |
| parent | 7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c (diff) | |
| download | rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.gz rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.bz2 rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.zip | |
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features to it.
Diffstat (limited to 'src/Rahm/Desktop/Marking.hs')
| -rw-r--r-- | src/Rahm/Desktop/Marking.hs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/Rahm/Desktop/Marking.hs b/src/Rahm/Desktop/Marking.hs index 90808cf..1ea9782 100644 --- a/src/Rahm/Desktop/Marking.hs +++ b/src/Rahm/Desktop/Marking.hs @@ -1,7 +1,6 @@ module Rahm.Desktop.Marking ( markCurrentWindow, jumpToMark, - moveLocationToWorkspace, setAlternateWindows, getAlternateWindows, setAlternateWorkspace, @@ -131,11 +130,6 @@ swapWithFocused winToSwap stackSet = mapWindows ( \w -> if w == winToSwap then focused else w) stackSet -moveLocationToWorkspace :: Location -> WorkspaceId -> X () -moveLocationToWorkspace (Location _ (Just win)) wid = - windows $ shiftWin wid win -moveLocationToWorkspace _ _ = return () - windowRect :: Window -> X (Maybe Rectangle) windowRect win = withDisplay $ \dpy -> (do (_, x, y, w, h, bw, _) <- io $ getGeometry dpy win |