]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtksourceview/gtkSourceView.ml
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.ml
1 (* Copyright (C) 2005:
2  *      Stefano Zacchiroli     <zack@cs.unibo.it>
3  *      Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
4  *
5  * This file is part of lablgtksourceview, the OCaml binding for the
6  * GtkSourceView widget.
7  * 
8  * lablgtksourceview is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU General Public License as
10  * published by the Free Software Foundation; either version 2 of the
11  * License, or (at your option) any later version.
12  *
13  * lablgtksourceview 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.  See the GNU
16  * General Public License for more details.
17  *
18  * You should have received a copy of the GNU General Public License
19  * along with lablgtksourceview; if not, write to the Free Software
20  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
21  * 02111-1307, USA.
22  * 
23  * For details, send a mail to the authors.
24  *)
25
26 open Gtk_sourceview
27 open Gaux
28 open Gobject
29 open Gtk
30 open Tags
31 open GtkSourceViewProps
32 open GtkBase
33
34 external _gtksourceview_init : unit -> unit = "ml_gtk_sourceview_init"
35 let () = _gtksourceview_init ()
36
37 module SourceView =
38 struct
39   include SourceView
40 end
41
42 module SourceBuffer =
43 struct
44   include SourceBuffer
45 end
46