Fix segfault caused by a WM where the settings module wasn't found.

* gnome-window-properties.c: (update_gui):

	Fix segfault caused by a WM where the settings module
	wasn't found.
This commit is contained in:
Seth Nickell 2002-10-22 03:54:11 +00:00
parent 2dd038c437
commit af0063dd7b
2 changed files with 8 additions and 1 deletions

View file

@ -1,3 +1,10 @@
2002-10-21 Seth Nickell <snickell@stanford.edu>
* gnome-window-properties.c: (update_gui):
Fix segfault caused by a WM where the settings module
wasn't found.
2002-10-21 Seth Nickell <snickell@stanford.edu>
Patch from sylvain_pasche@yahoo.fr

View file

@ -151,7 +151,7 @@ update_gui (void)
for (tmp_list = gnome_wm_manager_get_list (); tmp_list != NULL; tmp_list = tmp_list->next) {
wm = tmp_list->data;
wm_widget_add_wm (wm);
if (wm != NULL) wm_widget_add_wm (wm);
}
in_fill = FALSE;