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.hh | |
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.hh')
-rw-r--r-- | src/ScreenResource.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ScreenResource.hh b/src/ScreenResource.hh index 7f1e621..bc782e1 100644 --- a/src/ScreenResource.hh +++ b/src/ScreenResource.hh | |||
@@ -37,6 +37,7 @@ struct ScreenResource { | |||
37 | max_disable_move, | 37 | max_disable_move, |
38 | max_disable_resize, | 38 | max_disable_resize, |
39 | workspace_warping, | 39 | workspace_warping, |
40 | workspace_warping_vertical, | ||
40 | show_window_pos, | 41 | show_window_pos, |
41 | auto_raise, | 42 | auto_raise, |
42 | click_raises; | 43 | click_raises; |
@@ -53,7 +54,8 @@ struct ScreenResource { | |||
53 | menu_alpha, | 54 | menu_alpha, |
54 | menu_delay, | 55 | menu_delay, |
55 | tab_width, | 56 | tab_width, |
56 | tooltip_delay; | 57 | tooltip_delay, |
58 | workspace_warping_vertical_offset; | ||
57 | FbTk::Resource<bool> allow_remote_actions; | 59 | FbTk::Resource<bool> allow_remote_actions; |
58 | FbTk::Resource<bool> clientmenu_use_pixmap; | 60 | FbTk::Resource<bool> clientmenu_use_pixmap; |
59 | FbTk::Resource<bool> tabs_use_pixmap; | 61 | FbTk::Resource<bool> tabs_use_pixmap; |