open GtkSourceViewProps
open GtkBase
-external _gtk_source_view_init : unit -> unit = "ml_gtk_source_view_init"
-external _gtk_source_buffer_init : unit -> unit = "ml_gtk_source_buffer_init"
+external _gtk_source_language_init: unit -> unit = "ml_gtk_source_language_init"
+external _gtk_source_languages_manager_init: unit -> unit =
+ "ml_gtk_source_languages_manager_init"
+external _gtk_source_buffer_init: unit -> unit = "ml_gtk_source_buffer_init"
+external _gtk_source_view_init: unit -> unit = "ml_gtk_source_view_init"
let () =
- _gtk_source_view_init ();
- _gtk_source_buffer_init ()
+ _gtk_source_language_init ();
+ _gtk_source_languages_manager_init ();
+ _gtk_source_buffer_init ();
+ _gtk_source_view_init ()
-module SourceView =
+module SourceLanguage =
struct
- include SourceView
+ include SourceLanguage
+ external get_name: [>`sourcelanguage] obj -> string =
+ "ml_gtk_source_language_get_name"
+ external get_section: [>`sourcelanguage] obj -> string =
+ "ml_gtk_source_language_get_section"
+(* external get_tags: [>`sourcelanguage] obj -> source_tag list *)
+ external get_escape_char: [>`sourcelanguage] obj -> Glib.unichar =
+ "ml_gtk_source_language_get_escape_char"
+(* external get_mime_types: [>`sourcelanguage] obj -> string list *)
+(* external set_mime_types: [>`sourcelanguage] obj -> string list -> unit *)
+(* external get_style_scheme: [>`sourcelanguage] obj -> style_scheme *)
+(* external set_style_char: [>`sourcelanguage] obj -> style_scheme -> unit *)
+(* external get_tag_style: [>`sourcelanguage] obj -> tag_style *)
+(* external set_tag_style: [>`sourcelanguage] obj -> string -> tag_style -> unit *)
+(* external get_tag_default_style: [>`sourcelanguage] obj -> string -> tag_style *)
+end
+
+module SourceLanguagesManager =
+struct
+ include SourceLanguagesManager
+ external new_: unit -> source_languages_manager obj =
+ "ml_gtk_source_languages_manager_new"
+(* external get_available_languages:
+ [>`sourcelanguagesmanager] obj -> source_language obj list
+ = "ml_gtk_source_languages_manager_get_available_languages" *)
+ external get_language_from_mime_type:
+ [>`sourcelanguagesmanager] obj -> source_language obj
+ = "ml_gtk_source_languages_manager_get_language_from_mime_type"
+(* external get_lang_files_dirs:
+ [>`sourcelanguagesmanager] obj -> string list
+ = "ml_gtk_source_languages_manager_get_lang_files_dirs" *)
end
module SourceBuffer =
struct
include SourceBuffer
+(* external new_: unit -> source_buffer obj = "ml_gtk_source_buffer_new" *)
+(* external new_with_buffer: [>`sourcelanguage] obj -> source_buffer obj =
+ "ml_gtk_source_buffer_new_with_language" *)
external can_undo: [>`sourcebuffer] obj -> bool =
"ml_gtk_source_buffer_can_undo"
external can_redo: [>`sourcebuffer] obj -> bool =
"ml_gtk_source_buffer_end_not_undoable_action"
end
+module SourceView =
+struct
+ include SourceView
+ external new_: unit -> source_view obj = "ml_gtk_source_view_new"
+ external new_with_buffer: [>`sourcebuffer] obj -> source_view obj =
+ "ml_gtk_source_view_new_with_buffer"
+end
+