diff options
| author | Dana Jansens <danakj@orodu.net> | 2002-07-19 14:38:10 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2002-07-19 14:38:10 +0000 |
| commit | 256bcbed81015bafe8f89340e5cab9114c91b930 (patch) | |
| tree | 5e1cdc33e09ee24f53e6f5831533edbbfe0c8fd4 /src/Screen.hh | |
| parent | f586e55a8cd3d740a1b7b3a0801bad27030926f9 (diff) | |
changing the number of workspaces in the rc does something without restarting now!
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); |