void classbrowser_show_hide(GtkWidget *widget) { gboolean hidden = get_preferences_manager_classbrowser_status(main_window.prefmg); menubar_set_classbrowser_status(MENUBAR(main_window.menu), hidden); if (hidden == 1) classbrowser_show(); else classbrowser_hide(); }
void side_panel_show_hide(MainWindow *main_window) { gboolean hidden; g_object_get(main_window->prefmg, "side_panel_hidden", &hidden, NULL); menubar_set_classbrowser_status(MENUBAR(main_window->pmenu), hidden); if (hidden) side_panel_show(main_window); else side_panel_hide(main_window); }