diff options
-rw-r--r-- | src/Screen.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 6e995c3..729461a 100644 --- a/src/Screen.hh +++ b/src/Screen.hh | |||
@@ -102,7 +102,7 @@ public: | |||
102 | 102 | ||
103 | bool isRootColormapInstalled() const { return root_colormap_installed; } | 103 | bool isRootColormapInstalled() const { return root_colormap_installed; } |
104 | bool isScreenManaged() const { return managed; } | 104 | bool isScreenManaged() const { return managed; } |
105 | bool isWorkspaceWarping() const { return *resource.workspace_warping; } | 105 | bool isWorkspaceWarping() const { return (m_workspaces_list.size() > 1) && *resource.workspace_warping; } |
106 | bool doAutoRaise() const { return *resource.auto_raise; } | 106 | bool doAutoRaise() const { return *resource.auto_raise; } |
107 | bool clickRaises() const { return *resource.click_raises; } | 107 | bool clickRaises() const { return *resource.click_raises; } |
108 | bool doOpaqueMove() const { return *resource.opaque_move; } | 108 | bool doOpaqueMove() const { return *resource.opaque_move; } |