]> matita.cs.unibo.it Git - helm.git/blob - helm/gtkmathview-bonobo/src/view.h
if paramodulation fails, go on with the normal auto...
[helm.git] / helm / gtkmathview-bonobo / src / view.h
1 /* This file is part of GtkMathView-Bonobo, a Bonobo wrapper for GtkMathView.
2  * Copyright (C) 2003 Luca Padovani <lpadovan@cs.unibo.it>
3  *                    Pouria Masoudi <pmasoudi@cs.unibo.it>
4  * 
5  * This library is free software; you can redistribute it and/or
6  * modify it under the terms of the GNU Lesser General Public
7  * License as published by the Free Software Foundation; either
8  * version 2.1 of the License, or (at your option) any later version.
9  * 
10  * This library is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  * Lesser General Public License for more details.
14  * 
15  * You should have received a copy of the GNU Lesser General Public
16  * License along with this library; if not, write to the Free Software
17  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
18  *
19  * For more information, please visit the project's home page
20  * http://helm.cs.unibo.it/gtkmathview-bonobo
21  * or send an email to <lpadovan@cs.unibo.it>
22  */
23
24 #ifndef __view_h__
25 #define __view_h__
26
27 #include <bonobo.h>
28
29 #include "GtkMathView.h"
30 #include "control-data.h"
31
32 #define VIEW_TYPE         (view_get_type())
33 #define VIEW(o)           (G_TYPE_CHECK_INSTANCE_CAST ((o), VIEW_TYPE, View))
34 #define VIEW_CLASS(k)     (G_TYPE_CHECK_CLASS_CAST((k), VIEW_TYPE, ViewClass))
35 #define VIEW_IS_OBJECT(o) (G_TYPE_CHECK_INSTANCE_TYPE ((o), VIEW_TYPE))
36 #define VIEW_IS_CLASS(k)  (G_TYPE_CHECK_CLASS_TYPE ((k), VIEW_TYPE))
37 #define VIEW_GET_CLASS(o) (G_TYPE_INSTANCE_GET_CLASS ((o), VIEW_TYPE, ViewClass))
38
39 typedef struct {
40   BonoboObject parent;
41   GtkMathViewControlData* control_data;
42 } View;
43
44 typedef struct {
45   BonoboObjectClass parent_class;
46   POA_GNOME_GtkMathView_View__epv epv;
47 } ViewClass;
48
49 GType view_get_type(void);
50 View* view_new(GtkMathViewControlData*);
51
52 #endif /* __view_h__ */
53