add number_of_desktops

diff --git a/scripts/config.py b/scripts/config.py
index 88ac6dfa0de6fae0bad4d7d1ee4ef8430bf3e7ee..30286e742dc8f510f69c898238b15e59170efed7 100644 (file)
--- 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"]
 
 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.                                                            ###
 #############################################################################
 ### Options that can be modified by the user to change the default hooks' ###
 ### behaviors.                                                            ###