Fix the fvwm desktop option (for all 3 of us who use it).

This commit is contained in:
jkh 2000-02-20 10:01:33 +00:00
parent f56cca9414
commit ef3b600c82
3 changed files with 3 additions and 3 deletions

View File

@ -510,7 +510,7 @@ DMenu MenuXDesktops = {
{ "5 Windowmaker", "The Windowmaker window manager", { "5 Windowmaker", "The Windowmaker window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" },
{ "6 fvwm2", "The fvwm2 window manager", { "6 fvwm2", "The fvwm2 window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm2" },
{ NULL } }, { NULL } },
}; };

View File

@ -510,7 +510,7 @@ DMenu MenuXDesktops = {
{ "5 Windowmaker", "The Windowmaker window manager", { "5 Windowmaker", "The Windowmaker window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" },
{ "6 fvwm2", "The fvwm2 window manager", { "6 fvwm2", "The fvwm2 window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm2" },
{ NULL } }, { NULL } },
}; };

View File

@ -510,7 +510,7 @@ DMenu MenuXDesktops = {
{ "5 Windowmaker", "The Windowmaker window manager", { "5 Windowmaker", "The Windowmaker window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=windowmaker" },
{ "6 fvwm2", "The fvwm2 window manager", { "6 fvwm2", "The fvwm2 window manager",
NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm" }, NULL, dmenuSetVariable, NULL, VAR_DESKSTYLE "=fvwm2" },
{ NULL } }, { NULL } },
}; };