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/config.c | |
| parent | 1b33ab6c0d9117a84325e1bc01489bde566cda64 (diff) | |
print a warning when the session has a different number of desktops than the openbox config
Diffstat (limited to 'openbox/config.c')
| -rw-r--r-- | openbox/config.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/openbox/config.c b/openbox/config.c index 867dfb51..56e625d4 100644 --- a/openbox/config.c +++ b/openbox/config.c @@ -55,7 +55,7 @@ RrFont *config_font_menuitem; RrFont *config_font_menutitle; RrFont *config_font_osd; -gint config_desktops_num; +guint config_desktops_num; GSList *config_desktops_names; guint config_screen_firstdesk; guint config_desktop_popup_time; @@ -605,7 +605,7 @@ static void parse_desktops(ObParseInst *i, xmlDocPtr doc, xmlNodePtr node, if ((n = parse_find_node("number", node))) { gint d = parse_int(doc, n); if (d > 0) - config_desktops_num = d; + config_desktops_num = (unsigned) d; } if ((n = parse_find_node("firstdesk", node))) { gint d = parse_int(doc, n); |
