- bound GtkSourceLanguagesManager (only get_lang..from_mime_type)

[helm.git] / helm / DEVEL / lablgtksourceview / gSourceView.ml

diff --git a/helm/DEVEL/lablgtksourceview/gSourceView.ml b/helm/DEVEL/lablgtksourceview/gSourceView.ml
index a6b34aa9fca47ebcbef4d1f0ff91a4b40bd224c0..f5c1236470c0b13e340650dbbb48a9b78c4aa4dc 100644 (file)
--- a/helm/DEVEL/lablgtksourceview/gSourceView.ml
+++ b/helm/DEVEL/lablgtksourceview/gSourceView.ml
@@ -59,6 +59,22 @@ object (self)
   method get_escape_char = SourceLanguage.get_escape_char obj
 end
 
+(** {2 GtkSourceLanguagesManager} *)
+
+class source_languages_manager
+  (obj: Gtk_sourceview.source_languages_manager obj) =
+object (self)
+  method get_oid = Gobject.get_oid obj
+  method as_source_languages_manager = obj
+  method get_language_from_mime_type s =
+    match SourceLanguagesManager.get_language_from_mime_type obj s with
+    | None -> None
+    | Some obj -> Some (new source_language obj)
+end
+
+let source_languages_manager () =
+  new source_languages_manager (SourceLanguagesManager.create [])
+
 (** {2 GtkSourceBuffer} *)
 
 class source_buffer_signals obj' =