diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-01-12 19:55:09 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-01-12 19:55:09 +0000 |
| commit | de0706821d4aaab722445b1841cadcb7776a10b5 (patch) | |
| tree | 46fedf78611bb9a5574b8e89a66fe4a0a09ddc6b | |
| parent | bfa46e06b68681bff46b48e71bf038d879a3c2a7 (diff) | |
add number_of_desktops
| -rw-r--r-- | scripts/config.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/config.py b/scripts/config.py index 88ac6dfa..30286e74 100644 --- a/scripts/config.py +++ b/scripts/config.py @@ -27,6 +27,10 @@ double_click_delay = 300 desktop_names = ["one", "two", "three", "four", "five", "six", "seven", \ "eight", "nine", "ten", "eleven", "twelve"] +# number_of_desktops - the number of desktops/workspaces which can be scrolled +# between +number_of_desktops = 4 + ############################################################################# ### Options that can be modified by the user to change the default hooks' ### ### behaviors. ### |