Пример #1
0
gboolean document_manager_try_close_current_document(DocumentManager *docmg)
{
  gphpedit_debug(DEBUG_DOC_MANAGER);
  if (!docmg) return FALSE;
  DocumentManagerDetails *docmgdet = DOCUMENT_MANAGER_GET_PRIVATE(docmg);
  return document_manager_try_close_document(docmg, docmgdet->current_document);
}
Пример #2
0
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));
}
Пример #3
0
static void on_tab_close_activate(GtkWidget *widget, Document *document)
{
  gphpedit_debug(DEBUG_DOC_MANAGER);
  document_manager_try_close_document(main_window.docmg, document);
}