mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-21 05:18:06 +01:00
added contrib/ directory, updated WPrefs and wmsetbg for smoothed
backgrounds, added GNUstep info panel, added patch for saving menu position state
This commit is contained in:
@@ -409,8 +409,8 @@ showWorkspaceName(WScreen *scr, int workspace)
|
||||
|
||||
data->count = 10;
|
||||
|
||||
/* set a 2 second timeout for the effect */
|
||||
data->timeout = time(NULL) + 1 +
|
||||
/* set a timeout for the effect */
|
||||
data->timeout = time(NULL) + 2 +
|
||||
(WORKSPACE_NAME_DELAY + WORKSPACE_NAME_FADE_DELAY*data->count)/1000;
|
||||
|
||||
scr->workspace_name_data = data;
|
||||
|
||||
Reference in New Issue
Block a user