1 /* -*- Mode: C; indent-tabs-mode: t; c-basic-offset: 4; tab-width: 4 -*- */
2 /*
3  * plugin.h
4  * Copyright (C) Johannes Schmid 2006 <jhs@cvs.gnome.org>
5  *
6  * plugin.h is free software.
7  *
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)
11  * any later version.
12  *
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.
17  *
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.
23  */
24 
25 #ifndef _DEVHELP_H_
26 #define _DEVHELP_H_
27 
28 #include <libanjuta/anjuta-plugin.h>
29 #include <libanjuta/interfaces/ianjuta-editor.h>
30 
31 #ifndef DISABLE_EMBEDDED_DEVHELP
32 #include <devhelp/devhelp.h>
33 #endif /* DISABLE_EMBEDDED_DEVHELP */
34 
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))
42 
43 typedef struct _AnjutaDevhelp AnjutaDevhelp;
44 typedef struct _AnjutaDevhelpClass AnjutaDevhelpClass;
45 
46 struct _AnjutaDevhelp{
47 	AnjutaPlugin parent;
48 
49 #ifndef DISABLE_EMBEDDED_DEVHELP
50 	DhBookManager  *book_manager;
51 	GtkWidget      *view;
52 #ifndef HAVE_WEBKIT2
53 	GtkWidget      *view_sw;
54 #endif /* HAVE_WEBKIT2 */
55 	GtkWidget      *present_widget;
56 	GtkWidget      *sidebar_header;
57 	GtkWidget      *custom_label;
58 	GtkWidget      *sidebar;
59 	GtkWidget      *go_back;
60 	GtkWidget      *go_forward;
61 	GtkWidget      *online;
62 #endif /* DISABLE_EMBEDDED_DEVHELP */
63 
64 	IAnjutaEditor	*editor;
65 	guint editor_watch_id;
66 
67 	GtkActionGroup* action_group;
68 	gint uiid;
69 };
70 
71 struct _AnjutaDevhelpClass{
72 	AnjutaPluginClass parent_class;
73 };
74 
75 void anjuta_devhelp_check_history(AnjutaDevhelp* devhelp);
76 
77 #endif
78