1
0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-20 04:48:06 +01:00

fixed many bugs related from stacking and old ones too

This commit is contained in:
kojima
2000-03-29 03:23:38 +00:00
parent d267d17621
commit 03e14f363f
11 changed files with 458 additions and 40 deletions

View File

@@ -427,6 +427,7 @@ print_help()
puts(_(" --no-dock do not open the application Dock"));
puts(_(" --no-clip do not open the workspace Clip"));
puts(_(" --no-autolaunch do not autolaunch applications"));
puts(_(" --dont-restore do not restore saved session"));
puts(_(" --locale locale locale to use"));
@@ -590,7 +591,10 @@ main(int argc, char **argv)
#endif
if (strcmp(argv[i], "-no-autolaunch")==0
|| strcmp(argv[i], "--no-autolaunch")==0) {
wPreferences.flags.noautolaunch = 1;
wPreferences.flags.noautolaunch = 1;
} else if (strcmp(argv[i], "-dont-restore")==0
|| strcmp(argv[i], "--dont-restore")==0) {
wPreferences.flags.norestore = 1;
} else if (strcmp(argv[i], "-nodock")==0
|| strcmp(argv[i], "--no-dock")==0) {
wPreferences.flags.nodock=1;