+# double_click_delay - the number of milliseconds in which 2 clicks are
+# perceived as a double-click
+double_click_delay = 300
+
+# desktop_names - the name of each desktop
+desktop_names = ["one", "two", "three", "four", "five", "six", "seven", \
+ "eight", "nine", "ten", "eleven", "twelve"]
+