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_language_init: unit -> unit = "ml_gtk_source_language_init"
  35 external _gtk_source_languages_manager_init: unit -> unit =
  36   "ml_gtk_source_languages_manager_init"
  37 external _gtk_source_buffer_init: unit -> unit = "ml_gtk_source_buffer_init"
  38 external _gtk_source_view_init: unit -> unit = "ml_gtk_source_view_init"
  39
  40 let () =
  41   _gtk_source_language_init ();
  42   _gtk_source_languages_manager_init ();
  43   _gtk_source_buffer_init ();
  44   _gtk_source_view_init ()
  45
  46 module SourceLanguage =
  47 struct
  48   include SourceLanguage
  49   external get_name: [>`sourcelanguage] obj -> string =
  50     "ml_gtk_source_language_get_name"
  51   external get_section: [>`sourcelanguage] obj -> string =
  52     "ml_gtk_source_language_get_section"
  53 (*   external get_tags: [>`sourcelanguage] obj -> source_tag list *)
  54   external get_escape_char: [>`sourcelanguage] obj -> Glib.unichar =
  55     "ml_gtk_source_language_get_escape_char"
  56 (*   external get_mime_types: [>`sourcelanguage] obj -> string list *)
  57 (*   external set_mime_types: [>`sourcelanguage] obj -> string list -> unit *)
  58 (*   external get_style_scheme: [>`sourcelanguage] obj -> style_scheme *)
  59 (*   external set_style_char: [>`sourcelanguage] obj -> style_scheme -> unit *)
  60 (*   external get_tag_style: [>`sourcelanguage] obj -> tag_style *)
  61 (*   external set_tag_style: [>`sourcelanguage] obj -> string -> tag_style -> unit *)
  62 (*   external get_tag_default_style: [>`sourcelanguage] obj -> string -> tag_style *)
  63 end
  64
  65 module SourceLanguagesManager =
  66 struct
  67   include SourceLanguagesManager
  68   external new_: unit -> source_languages_manager obj =
  69     "ml_gtk_source_languages_manager_new"
  70 (*   external get_available_languages:
  71     [>`sourcelanguagesmanager] obj -> source_language obj list
  72     = "ml_gtk_source_languages_manager_get_available_languages" *)
  73   external get_language_from_mime_type:
  74     [>`sourcelanguagesmanager] obj -> source_language obj
  75     = "ml_gtk_source_languages_manager_get_language_from_mime_type"
  76 (*   external get_lang_files_dirs:
  77     [>`sourcelanguagesmanager] obj -> string list
  78     = "ml_gtk_source_languages_manager_get_lang_files_dirs" *)
  79 end
  80
  81 module SourceBuffer =
  82 struct
  83   include SourceBuffer
  84 (*   external new_: unit -> source_buffer obj = "ml_gtk_source_buffer_new" *)
  85 (*   external new_with_buffer: [>`sourcelanguage] obj -> source_buffer obj =
  86     "ml_gtk_source_buffer_new_with_language" *)
  87   external can_undo: [>`sourcebuffer] obj -> bool =
  88     "ml_gtk_source_buffer_can_undo"
  89   external can_redo: [>`sourcebuffer] obj -> bool =
  90     "ml_gtk_source_buffer_can_redo"
  91   external undo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_undo"
  92   external redo: [>`sourcebuffer] obj -> unit = "ml_gtk_source_buffer_redo"
  93   external begin_not_undoable_action: [>`sourcebuffer] obj -> unit =
  94     "ml_gtk_source_buffer_begin_not_undoable_action"
  95   external end_not_undoable_action: [>`sourcebuffer] obj -> unit =
  96     "ml_gtk_source_buffer_end_not_undoable_action"
  97 end
  98
  99 module SourceView =
 100 struct
 101   include SourceView
 102   external new_: unit -> source_view obj = "ml_gtk_source_view_new"
 103   external new_with_buffer: [>`sourcebuffer] obj -> source_view obj =
 104     "ml_gtk_source_view_new_with_buffer"
 105 end
 106