2 * Stefano Zacchiroli <zack@cs.unibo.it>
3 * Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
5 * This file is part of lablgtksourceview, the OCaml binding for the
6 * GtkSourceView widget.
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.
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.
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
23 * For details, send a mail to the authors.
31 open GtkSourceViewProps
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"
41 _gtk_source_language_init ();
42 _gtk_source_languages_manager_init ();
43 _gtk_source_buffer_init ();
44 _gtk_source_view_init ()
46 module SourceLanguage =
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 *)
65 module SourceLanguagesManager =
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 -> string -> source_language obj option
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" *)
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"
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"