]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
- bound GtkSourceLanguagesManager (only get_lang..from_mime_type)
[helm.git] / helm / DEVEL / lablgtksourceview / ml_gtk_sourceview.c
index f9b92dc1c308de6634a15658df69317e1d52ba8c..7951cd6fd687fbdf496ec895fc26ef55056f6cb8 100644 (file)
@@ -78,6 +78,7 @@ CAMLprim value ml_gtk_source_view_init(value unit)
 #define GtkSourceTagTable_val(val) check_cast(GTK_SOURCE_TAG_TABLE,val)
 #define GtkSourceBuffer_val(val) check_cast(GTK_SOURCE_BUFFER,val)
 #define GtkSourceView_val(val) check_cast(GTK_SOURCE_VIEW,val)
+#define Val_option_GtkAny(v) Val_option(v,Val_GtkAny)
 
 ML_1 (gtk_source_language_get_name, GtkSourceLanguage_val, Val_string)
 ML_1 (gtk_source_language_get_section, GtkSourceLanguage_val, Val_string)
@@ -85,7 +86,8 @@ ML_1 (gtk_source_language_get_escape_char, GtkSourceLanguage_val, Val_int)
 
 ML_0 (gtk_source_languages_manager_new, Val_GtkAny_sink)
 ML_2 (gtk_source_languages_manager_get_language_from_mime_type,
-               GtkSourceLanguagesManager_val, String_val, Val_GtkAny)
+               GtkSourceLanguagesManager_val, String_val,
+               Val_option_GtkAny)
 
 /* ML_0 (gtk_source_buffer_new, GtkSourceTagTable_val, Val_GtkAny_sink) */
 /* ML_1 (gtk_source_buffer_new_with_language, GtkSourceLanguage_val,