diff options
Diffstat (limited to 'src/Screen.hh')
| -rw-r--r-- | src/Screen.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Screen.hh b/src/Screen.hh index 7cbe441a..9f083419 100644 --- a/src/Screen.hh +++ b/src/Screen.hh @@ -267,6 +267,8 @@ public: inline int getColPlacementDirection(void) const { return resource.col_direction; } + void changeWorkspaceCount(unsigned int new_count); + inline void setRootColormapInstalled(bool r) { root_colormap_installed = r; } void saveSloppyFocus(bool s); void saveAutoRaise(bool a); |