diff options
Diffstat (limited to 'src/Screen.hh')
-rw-r--r-- | src/Screen.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 83c5cb5..1e03b78 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -95,7 +95,9 @@ public: | |||
95 | bool isRootColormapInstalled() const { return root_colormap_installed; } | 95 | bool isRootColormapInstalled() const { return root_colormap_installed; } |
96 | bool isScreenManaged() const { return m_state.managed; } | 96 | bool isScreenManaged() const { return m_state.managed; } |
97 | bool isWorkspaceWarping() const { return (m_workspaces_list.size() > 1) && *resource.workspace_warping; } | 97 | bool isWorkspaceWarping() const { return (m_workspaces_list.size() > 1) && *resource.workspace_warping; } |
98 | bool isWorkspaceWarpingVertical() const { return *resource.workspace_warping_vertical; } | 98 | bool isWorkspaceWarpingHorizontal() const { return isWorkspaceWarping() && *resource.workspace_warping_horizontal; } |
99 | bool isWorkspaceWarpingVertical() const { return isWorkspaceWarping() && *resource.workspace_warping_vertical; } | ||
100 | int getWorkspaceWarpingHorizontalOffset() const { return *resource.workspace_warping_horizontal_offset; } | ||
99 | int getWorkspaceWarpingVerticalOffset() const { return *resource.workspace_warping_vertical_offset; } | 101 | int getWorkspaceWarpingVerticalOffset() const { return *resource.workspace_warping_vertical_offset; } |
100 | bool doAutoRaise() const { return *resource.auto_raise; } | 102 | bool doAutoRaise() const { return *resource.auto_raise; } |
101 | bool clickRaises() const { return *resource.click_raises; } | 103 | bool clickRaises() const { return *resource.click_raises; } |