gryf/wmaker
1
0
Fork 0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-21 05:18:06 +01:00
Code Issues Projects Releases Wiki Activity

added || pipe menu for non-cached generated menus

Browse Source
This commit is contained in:
kojima
2001-12-04 12:05:45 +00:00
parent 363290d919
commit 739fd1a567
1 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/rootmenu.c
View File

@@ -128,6 +128,7 @@ static Shortcut *shortcutList = NULL;
* the resulting menu in current position. The output of
* command must be a valid menu description.
* The space between '|' and command is optional.
* || will do the same, but will not cache the contents.
* SAVE_SESSION - saves the current state of the desktop, which include
* all running applications, all their hints (geometry,
* position on screen, workspace they live on, the dock
@@ -689,9 +690,12 @@ constructMenu(WMenu *menu, WMenuEntry *entry)
submenu = readMenuPipe(menu->frame->screen_ptr, path);
/* there's no automatic reloading */
if(submenu != NULL)
submenu->timestamp = 1;
if(submenu != NULL) {
if (path[0][1] == '|')
submenu->timestamp = 0;
else
submenu->timestamp = 1; /* there's no automatic reloading */
}
} else {
submenu = NULL;
}