plugins/document-manager/anjuta-docman.h

   1 /* -*- Mode: C; indent-tabs-mode: t; c-basic-offset: 4; tab-width: 4 -*- */
   2 /*
   3     anjuta-docman.h
   4     Copyright (C) 2003  Naba Kumar <naba@gnome.org>
   5
   6     This program is free software; you can redistribute it and/or modify
   7     it under the terms of the GNU General Public License as published by
   8     the Free Software Foundation; either version 2 of the License, or
   9     (at your option) any later version.
  10
  11     This program is distributed in the hope that it will be useful,
  12     but WITHOUT ANY WARRANTY; without even the implied warranty of
  13     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14     GNU General Public License for more details.
  15
  16     You should have received a copy of the GNU General Public License
  17     along with this program; if not, write to the Free Software
  18     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
  19 */
  20
  21 #ifndef _ANJUTA_DOCMAN_H_
  22 #define _ANJUTA_DOCMAN_H_
  23
  24 #include <gtk/gtkwidget.h>
  25 #include <libanjuta/anjuta-preferences.h>
  26 #include <libanjuta/anjuta-shell.h>
  27 #include <libanjuta/interfaces/ianjuta-editor.h>
  28 #include <libanjuta/interfaces/ianjuta-document.h>
  29
  30 #include "plugin.h"
  31
  32 #define ANJUTA_TYPE_DOCMAN        (anjuta_docman_get_type ())
  33 #define ANJUTA_DOCMAN(o)          (G_TYPE_CHECK_INSTANCE_CAST ((o), ANJUTA_TYPE_DOCMAN, AnjutaDocman))
  34 #define ANJUTA_DOCMAN_CLASS(k)    (G_TYPE_CHECK_CLASS_CAST((k), ANJUTA_TYPE_DOCMAN, AnjutaDocmanClass))
  35 #define ANJUTA_IS_DOCMAN(o)       (G_TYPE_CHECK_INSTANCE_TYPE ((o), ANJUTA_TYPE_DOCMAN))
  36 #define ANJUTA_IS_DOCMAN_CLASS(k) (G_TYPE_CHECK_CLASS_TYPE ((k), ANJUTA_TYPE_DOCMAN))
  37
  38 typedef struct _AnjutaDocman AnjutaDocman;
  39 typedef struct _AnjutaDocmanPriv AnjutaDocmanPriv;
  40 typedef struct _AnjutaDocmanClass AnjutaDocmanClass;
  41
  42 struct _AnjutaDocman {
  43         GtkNotebook parent;
  44         AnjutaDocmanPriv *priv;
  45         AnjutaShell *shell;
  46 };
  47
  48 struct _AnjutaDocmanClass {
  49         GtkNotebookClass parent_class;
  50
  51         /* Signals */
  52         void (*document_added) (IAnjutaDocument *document);
  53         void (*document_changed) (IAnjutaDocument *new_document);
  54 };
  55
  56 GType anjuta_docman_get_type (void);
  57 GtkWidget* anjuta_docman_new (DocmanPlugin *plugin, AnjutaPreferences *pref);
  58
  59 void anjuta_docman_set_popup_menu (AnjutaDocman *docman, GtkWidget *menu);
  60
  61 IAnjutaEditor *anjuta_docman_add_editor (AnjutaDocman *docman, const gchar *uri,
  62                                                                                 const gchar *name);
  63 void anjuta_docman_add_document (AnjutaDocman *docman, IAnjutaDocument *doc,
  64                                                                 const gchar* uri);
  65
  66 void anjuta_docman_remove_document (AnjutaDocman *docman, IAnjutaDocument *doc);
  67
  68 IAnjutaDocument *anjuta_docman_get_current_document (AnjutaDocman *docman);
  69 IAnjutaDocument *anjuta_docman_get_document_for_uri (AnjutaDocman *docman,
  70                                                                                                           const gchar *file_uri);
  71
  72 GtkWidget *anjuta_docman_get_current_focus_widget (AnjutaDocman *docman);
  73
  74 GtkWidget *anjuta_docman_get_current_popup (AnjutaDocman *docman);
  75
  76 void anjuta_docman_set_current_document (AnjutaDocman *docman, IAnjutaDocument *doc);
  77
  78 IAnjutaEditor *anjuta_docman_goto_uri_line (AnjutaDocman *docman,
  79                                                                                         const gchar *uri,
  80                                                                                         gint lineno);
  81 IAnjutaEditor *anjuta_docman_goto_uri_line_mark (AnjutaDocman *docman,
  82                                                                                                 const gchar *uri,
  83                                                                                                 gint lineno,
  84                                                                                                 gboolean mark);
  85 void anjuta_docman_present_notebook_page (AnjutaDocman *docman, IAnjutaDocument *doc);
  86
  87 void anjuta_docman_delete_all_markers (AnjutaDocman *docman, gint marker);
  88 void anjuta_docman_delete_all_indicators (AnjutaDocman *docman);
  89
  90 void anjuta_docman_save_file_if_modified (AnjutaDocman *docman,
  91                                                                                   const gchar *uri);
  92 void anjuta_docman_reload_file (AnjutaDocman *docman, const gchar *uri);
  93
  94 gboolean anjuta_docman_set_editor_properties (AnjutaDocman *docman);
  95
  96 gchar *anjuta_docman_get_uri (AnjutaDocman *docman, const gchar *filename);
  97
  98 GList *anjuta_docman_get_all_doc_widgets (AnjutaDocman *docman);
  99
 100 void anjuta_docman_open_file (AnjutaDocman *docman);
 101
 102 /* Returns TRUE if editor is saved */
 103 gboolean anjuta_docman_save_document (AnjutaDocman *docman, IAnjutaDocument *doc,
 104                                                                         GtkWidget *parent_window);
 105
 106 /* Returns TRUE if editor is saved */
 107 gboolean anjuta_docman_save_document_as (AnjutaDocman *docman,
 108                                                                                 IAnjutaDocument *doc,
 109                                                                                 GtkWidget *parent_window);
 110 #endif