diff options
| author | Dana Jansens <danakj@orodu.net> | 2008-01-22 12:54:53 -0500 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2008-01-22 13:01:56 -0500 |
| commit | f476442531061fb6d36e3cc79decac10b985db35 (patch) | |
| tree | 8b5de42361d49f5985f43dc61d5406fb0cde0381 /openbox/screen.c | |
| parent | 1b33ab6c0d9117a84325e1bc01489bde566cda64 (diff) | |
print a warning when the session has a different number of desktops than the openbox config
Diffstat (limited to 'openbox/screen.c')
| -rw-r--r-- | openbox/screen.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/openbox/screen.c b/openbox/screen.c index e008ffe5..932b157e 100644 --- a/openbox/screen.c +++ b/openbox/screen.c @@ -402,7 +402,13 @@ void screen_startup(gboolean reconfig) screen_num_desktops = 0; if (PROP_GET32(RootWindow(ob_display, ob_screen), net_number_of_desktops, cardinal, &d)) + { + if (d != config_desktops_num) { + g_warning(_("Openbox is configured for %d desktops, but the current session has %d. Overriding the Openbox configuration."), + config_desktops_num, d); + } screen_set_num_desktops(d); + } /* restore from session if possible */ else if (session_num_desktops) screen_set_num_desktops(session_num_desktops); |
