make the default time for the desktop notificatin 875ms

This commit is contained in:
Dana Jansens 2007-08-04 12:11:04 -04:00
parent 82438c21ec
commit 29e94a9e59
2 changed files with 2 additions and 2 deletions

View file

@ -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>

View file

@ -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);