make the default time for the desktop notificatin 875ms

diff --git a/data/rc.xml b/data/rc.xml
index b28bf1a91dc00ca510052464b84088a635d62513..3859f5375e86fcf6c69c6586441e1c2a3dbd8e4d 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 c7d6db30b326ddef17af094760237f2eacb28c44..2bdd1966ef4012297e8c19f2fe15ecfa87cf8558 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);