make the default time for the desktop notificatin 875ms

diff --git a/data/rc.xml b/data/rc.xml
index b28bf1a..3859f53 100644 (file)
--- a/data/rc.xml
+++ b/data/rc.xml
@@ -116,7 +116,7 @@
     <name>desktop 2</name>
     -->
   </names>
-  <popupTime>500</popupTime>
+  <popupTime>875</popupTime>
   <!-- The number of milliseconds to show the popup for when switching
        desktops.  Set this to 0 to disable the popup. -->
 </desktops>

diff --git a/openbox/config.c b/openbox/config.c
index c7d6db3..2bdd196 100644 (file)
--- a/openbox/config.c
+++ b/openbox/config.c
@@ -903,7 +903,7 @@ void config_startup(ObParseInst *i)
     config_desktops_num = 4;
     config_screen_firstdesk = 1;
     config_desktops_names = NULL;
-    config_desktop_popup_time = 500;
+    config_desktop_popup_time = 875;
 
     parse_register(i, "desktops", parse_desktops, NULL);