void on_close1_activate(GtkWidget *widget)
{
document_manager_try_close_current_document(main_window.docmg);
if(document_manager_get_document_count(main_window.docmg)!=0) {
classbrowser_update(GPHPEDIT_CLASSBROWSER(main_window.classbrowser));
update_app_title(document_manager_get_current_document(main_window.docmg));
update_zoom_level();
classbrowser_force_label_update(GPHPEDIT_CLASSBROWSER(main_window.classbrowser));
}
}
void classbrowser_show(void)
{
gphpedit_debug(DEBUG_MAIN_WINDOW);
gtk_paned_set_position(GTK_PANED(main_window.main_horizontal_pane), get_preferences_manager_classbrowser_get_size(main_window.prefmg));
set_preferences_manager_parse_classbrowser_status(main_window.prefmg, FALSE);
classbrowser_update(GPHPEDIT_CLASSBROWSER(main_window.classbrowser));
}
void on_tab_close_activate(GtkWidget *widget, Document *document)
{
gphpedit_debug(DEBUG_MAIN_WINDOW);
document_manager_try_close_document(main_window.docmg, document);
classbrowser_update(GPHPEDIT_CLASSBROWSER(main_window.classbrowser));
update_app_title(document_manager_get_current_document(main_window.docmg));
}
static void side_panel_show(MainWindow *main_window)
{
gphpedit_debug(DEBUG_MAIN_WINDOW);
gint size;
g_object_get(main_window->prefmg, "side_panel_size", &size, NULL);
gtk_paned_set_position(GTK_PANED(main_window->pmain_horizontal_pane), size);
g_object_set(main_window->prefmg, "side_panel_hidden", FALSE, NULL);
classbrowser_update(GPHPEDIT_CLASSBROWSER(main_window->pclassbrowser));
}
//function to refresh treeview when the current tab changes
//view is refreshed only if the parse only current file parameter is set
gint on_tab_change_update_classbrowser(GtkWidget *widget)
{
classbrowser_update(GPHPEDIT_CLASSBROWSER(main_window.classbrowser));
return FALSE;
}