1
0
mirror of https://github.com/gryf/wmaker.git synced 2026-06-14 22:35:21 +02:00

default WMRootMenu is now a proplist menu instead of text

This commit is contained in:
kojima
2000-07-15 08:12:33 +00:00
parent bb6acdad3c
commit b3dee733bb
3 changed files with 116 additions and 18 deletions
+4 -1
View File
@@ -21,7 +21,7 @@
*/
#define PROG_VERSION "getstyle (Window Maker) 0.5"
#define PROG_VERSION "getstyle (Window Maker) 0.6"
@@ -51,6 +51,9 @@ static char *options[] = {
"IconTitleFont",
"DisplayFont",
"LargeDisplayFont",
"WindowTitleExtendSpace",
"MenuTitleExtendSpace",
"MenuTextExtendSpace",
"HighlightColor",
"HighlightTextColor",
"ClipTitleColor",