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 _gtk_source_view_init : unit -> unit = "ml_gtk_source_view_init"
  35 external _gtk_source_buffer_init : unit -> unit = "ml_gtk_source_buffer_init"
  36
  37 let () =
  38   _gtk_source_view_init ();
  39   _gtk_source_buffer_init ()
  40
  41 module SourceView =
  42 struct
  43   include SourceView
  44 end
  45
  46 module SourceBuffer =
  47 struct
  48   include SourceBuffer
  49   external can_undo: [>`sourcebuffer] obj -> bool =
  50     "ml_gtk_source_buffer_can_undo"
  51   external can_redo: [>`sourcebuffer] obj -> bool =
  52     "ml_gtk_source_buffer_can_redo"
  53   external undo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_undo"
  54   external redo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_redo"
  55   external begin_not_undoable_action: [>`sourcebuffer] obj -> unit =
  56     "ml_gtk_source_buffer_begin_not_undoable_action"
  57   external end_not_undoable_action: [>`sourcebuffer] obj -> unit =
  58     "ml_gtk_source_buffer_end_not_undoable_action"
  59 end
  60