]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gSourceView.mli
- bound GtkSourceLanguagesManager (only get_lang..from_mime_type)
[helm.git] / helm / DEVEL / lablgtksourceview / gSourceView.mli
index f933cf61011a29ba4787c3ac72e15a4b5add14dd..d9e83c5f695a80cabc7743b8d5bebc1e1233c1ec 100644 (file)
@@ -45,6 +45,19 @@ class source_language:
     method misc: GObj.gobject_ops
   end
 
+(** {2 GtkSourceLanguagesManager} *)
+
+class source_languages_manager:
+  Gtk_sourceview.source_languages_manager obj ->
+  object
+    method get_oid: int
+    method as_source_languages_manager:
+      Gtk_sourceview.source_languages_manager obj
+    method get_language_from_mime_type: string -> source_language option
+  end
+
+val source_languages_manager: unit -> source_languages_manager
+
 (** {2 GtkSourceBuffer} *)
 
 class source_buffer_signals: