diff options
author | Mark Murawski <markm@intellasoft.net> | 2017-11-19 18:37:37 (GMT) |
---|---|---|
committer | Mathias Gumz <akira@fluxbox.org> | 2017-11-19 19:10:26 (GMT) |
commit | 7cb7bfaa448003466315ccc21d08b71f5c77df70 (patch) | |
tree | 2181cef0a2ec814c9e944502ca0d02ed4c926c48 /src/ScreenResource.cc | |
parent | 0090dc8a6ba4b5c360ecda470b316e630b85c30c (diff) | |
download | fluxbox-7cb7bfaa448003466315ccc21d08b71f5c77df70.zip fluxbox-7cb7bfaa448003466315ccc21d08b71f5c77df70.tar.bz2 |
Support 'vertical' Workspace warping
'Vertical' Workspace warping is a variant of the existing Workspace
warping feature: When a user drags a window to the edge of the Screen,
the window is warped to the next / previous workspace.
'Vertical' Workspace warping detects a drag towards the upper / lower
border of the screen and warps the current workspace about an 'offset'.
Example given, lets say the user has 9 workspaces and considers them to
form a 3x3 grid:
+-+-+-+
|1|2|3|
+-+-+-+
|4|5|6|
+-+-+-+
|7|8|9|
+-+-+-+
An 'offset' of 3 warps from workspaces 2 to workspace 5 (or 8), when a
window is dragged to the bottom / top border.
New configuration ressources:
session.screenN.workspacewarpingvertical: true
session.screenN.workspacewarpingverticaloffset: X
Diffstat (limited to 'src/ScreenResource.cc')
-rw-r--r-- | src/ScreenResource.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ScreenResource.cc b/src/ScreenResource.cc index dbf532b..c188648 100644 --- a/src/ScreenResource.cc +++ b/src/ScreenResource.cc | |||
@@ -88,6 +88,8 @@ ScreenResource::ScreenResource(FbTk::ResourceManager& rm, | |||
88 | max_disable_move(rm, false, scrname+".maxDisableMove", altscrname+".MaxDisableMove"), | 88 | max_disable_move(rm, false, scrname+".maxDisableMove", altscrname+".MaxDisableMove"), |
89 | max_disable_resize(rm, false, scrname+".maxDisableResize", altscrname+".MaxDisableResize"), | 89 | max_disable_resize(rm, false, scrname+".maxDisableResize", altscrname+".MaxDisableResize"), |
90 | workspace_warping(rm, true, scrname+".workspacewarping", altscrname+".WorkspaceWarping"), | 90 | workspace_warping(rm, true, scrname+".workspacewarping", altscrname+".WorkspaceWarping"), |
91 | workspace_warping_vertical(rm, true, scrname+".workspacewarpingvertical", altscrname+".WorkspaceWarpingVertical"), | ||
92 | workspace_warping_vertical_offset(rm, 1, scrname+".workspacewarpingverticaloffset", altscrname+".WorkspaceWarpingVerticalOffset"), | ||
91 | show_window_pos(rm, false, scrname+".showwindowposition", altscrname+".ShowWindowPosition"), | 93 | show_window_pos(rm, false, scrname+".showwindowposition", altscrname+".ShowWindowPosition"), |
92 | auto_raise(rm, true, scrname+".autoRaise", altscrname+".AutoRaise"), | 94 | auto_raise(rm, true, scrname+".autoRaise", altscrname+".AutoRaise"), |
93 | click_raises(rm, true, scrname+".clickRaises", altscrname+".ClickRaises"), | 95 | click_raises(rm, true, scrname+".clickRaises", altscrname+".ClickRaises"), |