comparison src/layout_util.c @ 1738:869ef66693f3

improved editor loading
author nadvornik
date Sun, 06 Sep 2009 14:29:19 +0000
parents a9af670f47d2
children 8436cdbc315c
comparison
equal deleted inserted replaced
1737:a9af670f47d2 1738:869ef66693f3
1985 g_source_remove(layout_editors_reload_idle_id); 1985 g_source_remove(layout_editors_reload_idle_id);
1986 string_list_free(layout_editors_desktop_files); 1986 string_list_free(layout_editors_desktop_files);
1987 } 1987 }
1988 1988
1989 work = layout_window_list; 1989 work = layout_window_list;
1990
1991 #if 0
1992 /* it should be enough to remove the old editors after the new ones are loaded, in layout_actions_setup_editors */
1990 while (work) 1993 while (work)
1991 { 1994 {
1992 LayoutWindow *lw = work->data; 1995 LayoutWindow *lw = work->data;
1993 work = work->next; 1996 work = work->next;
1994 1997
1995 gtk_ui_manager_remove_ui(lw->ui_manager, lw->ui_editors_id); 1998 gtk_ui_manager_remove_ui(lw->ui_manager, lw->ui_editors_id);
1996 gtk_ui_manager_remove_action_group(lw->ui_manager, lw->action_group_editors); 1999 gtk_ui_manager_remove_action_group(lw->ui_manager, lw->action_group_editors);
1997 g_object_unref(lw->action_group_editors); 2000 g_object_unref(lw->action_group_editors);
1998 lw->action_group_editors = NULL; 2001 lw->action_group_editors = NULL;
1999 } 2002 }
2003 #endif
2000 editor_table_clear(); 2004 editor_table_clear();
2001 layout_editors_reload_idle_id = g_idle_add(layout_editors_reload_idle_cb, NULL); 2005 layout_editors_reload_idle_id = g_idle_add(layout_editors_reload_idle_cb, NULL);
2002 } 2006 }
2003 2007
2004 void layout_editors_reload_finish(void) 2008 void layout_editors_reload_finish(void)