static void on_notebook_switch_page (GtkNotebook *notebook, GtkWidget *page, gint page_num, gpointer user_data) { MainWindow *main_window = (MainWindow *) user_data; if(!document_manager_set_current_document_from_widget (main_window->docmg, page)) { gphpedit_debug_message(DEBUG_MAIN_WINDOW,_("Unable to get data for page %d"), page_num); } }
void on_notebook_switch_page (GtkNotebook *notebook, GtkNotebookPage *page, gint page_num, gpointer user_data) { GtkWidget *child; child = gtk_notebook_get_nth_page(GTK_NOTEBOOK(main_window.notebook_editor), page_num); if(!document_manager_set_current_document_from_widget (main_window.docmg, child)) { gphpedit_debug_message(DEBUG_MAIN_WINDOW,_("Unable to get data for page %d"), page_num); } if (!is_app_closing) { // Change the title of the main application window to the full filename update_app_title(document_manager_get_current_document(main_window.docmg)); on_tab_change_update_classbrowser(main_window.notebook_editor); } check_externally_modified(document_manager_get_current_document(main_window.docmg)); }