1 /* -*- Mode: C; indent-tabs-mode: t; c-basic-offset: 4; tab-width: 4 -*- */
4 * Copyright (C) Johannes Schmid 2006 <jhs@cvs.gnome.org>
6 * plugin.h is free software.
8 * You may redistribute it and/or modify it under the terms of the
9 * GNU General Public License, as published by the Free Software
10 * Foundation; either version 2 of the License, or (at your option)
13 * plugin.h is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
16 * See the GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with plugin.h. If not, write to:
20 * The Free Software Foundation, Inc.,
21 * 51 Franklin Street, Fifth Floor
22 * Boston, MA 02110-1301, USA.
28 #include <libanjuta/anjuta-plugin.h>
29 #include <libanjuta/interfaces/ianjuta-editor.h>
31 #ifndef DISABLE_EMBEDDED_DEVHELP
32 #include <devhelp/devhelp.h>
33 #endif /* DISABLE_EMBEDDED_DEVHELP */
35 extern GType
devhelp_get_type (GTypeModule
*module
);
36 #define ANJUTA_TYPE_PLUGIN_DEVHELP (devhelp_get_type (NULL))
37 #define ANJUTA_PLUGIN_DEVHELP(o) (G_TYPE_CHECK_INSTANCE_CAST ((o), ANJUTA_TYPE_PLUGIN_DEVHELP, AnjutaDevhelp))
38 #define ANJUTA_PLUGIN_DEVHELP_CLASS(k) (G_TYPE_CHECK_CLASS_CAST ((k), ANJUTA_TYPE_PLUGIN_DEVHELP, AnjutaDevhelpClass))
39 #define ANJUTA_IS_PLUGIN_DEVHELP(o) (G_TYPE_CHECK_INSTANCE_TYPE ((o), ANJUTA_TYPE_PLUGIN_DEVHELP))
40 #define ANJUTA_IS_PLUGIN_DEVHELP_CLASS(k) (G_TYPE_CHECK_CLASS_TYPE ((k), ANJUTA_TYPE_PLUGIN_DEVHELP))
41 #define ANJUTA_PLUGIN_DEVHELP_GET_CLASS(o) (G_TYPE_INSTANCE_GET_CLASS ((o), ANJUTA_TYPE_PLUGIN_DEVHELP, AnjutaDevhelpClass))
43 typedef struct _AnjutaDevhelp AnjutaDevhelp
;
44 typedef struct _AnjutaDevhelpClass AnjutaDevhelpClass
;
46 struct _AnjutaDevhelp
{
49 #ifndef DISABLE_EMBEDDED_DEVHELP
50 DhBookManager
*book_manager
;
54 #endif /* HAVE_WEBKIT2 */
55 GtkWidget
*present_widget
;
56 GtkWidget
*sidebar_header
;
57 GtkWidget
*custom_label
;
60 GtkWidget
*go_forward
;
62 #endif /* DISABLE_EMBEDDED_DEVHELP */
64 IAnjutaEditor
*editor
;
65 guint editor_watch_id
;
67 GtkActionGroup
* action_group
;
71 struct _AnjutaDevhelpClass
{
72 AnjutaPluginClass parent_class
;
75 void anjuta_devhelp_check_history(AnjutaDevhelp
* devhelp
);