Esempi in C++ (Cpp) per document_manager_set_current_document_from_widget

Esempio n. 1

File: main_window.c Progetto: anishsheela/gphpedit

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);
  }
}

Esempio n. 2

File: main_window_callbacks.c Progetto: zyxware/gphpedit

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));
}