comparison src/layout_util.c @ 1745:7a6f3ffa036a

fixed reloading of editors
author nadvornik
date Sat, 12 Sep 2009 15:31:24 +0000
parents 8436cdbc315c
children 956aab097ea7
comparison
equal deleted inserted replaced
1744:2ce6b6bfd40a 1745:7a6f3ffa036a
1802 GList *editors_list; 1802 GList *editors_list;
1803 GList *work; 1803 GList *work;
1804 GList *old_path; 1804 GList *old_path;
1805 GString *desc; 1805 GString *desc;
1806 1806
1807 if (lw->ui_editors_id)
1808 {
1809 gtk_ui_manager_remove_ui(lw->ui_manager, lw->ui_editors_id);
1810 }
1811
1807 if (lw->action_group_editors) 1812 if (lw->action_group_editors)
1808 { 1813 {
1809 gtk_ui_manager_remove_action_group(lw->ui_manager, lw->action_group_editors); 1814 gtk_ui_manager_remove_action_group(lw->ui_manager, lw->action_group_editors);
1810 g_object_unref(lw->action_group_editors); 1815 g_object_unref(lw->action_group_editors);
1811 } 1816 }
1986 string_list_free(layout_editors_desktop_files); 1991 string_list_free(layout_editors_desktop_files);
1987 } 1992 }
1988 1993
1989 work = layout_window_list; 1994 work = layout_window_list;
1990 1995
1991 #if 0
1992 /* it should be enough to remove the old editors after the new ones are loaded, in layout_actions_setup_editors */
1993 while (work)
1994 {
1995 LayoutWindow *lw = work->data;
1996 work = work->next;
1997
1998 gtk_ui_manager_remove_ui(lw->ui_manager, lw->ui_editors_id);
1999 gtk_ui_manager_remove_action_group(lw->ui_manager, lw->action_group_editors);
2000 g_object_unref(lw->action_group_editors);
2001 lw->action_group_editors = NULL;
2002 }
2003 #endif
2004 editor_table_clear(); 1996 editor_table_clear();
2005 layout_editors_reload_idle_id = g_idle_add(layout_editors_reload_idle_cb, NULL); 1997 layout_editors_reload_idle_id = g_idle_add(layout_editors_reload_idle_cb, NULL);
2006 } 1998 }
2007 1999
2008 void layout_editors_reload_finish(void) 2000 void layout_editors_reload_finish(void)