]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/ml_gtk_sourceview.c
snapshot
[helm.git] / helm / DEVEL / lablgtksourceview / ml_gtk_sourceview.c
index 935e96ac3580dadb65d3caa19e63a860d80e8ae3..eb0a69dc5dbd738c7399b0e4cea3922fb918febc 100644 (file)
 
 /* Init all */
 
-CAMLprim value ml_gtk_sourceview_init(value unit)
-{
-    /* Since these are declared const, must force gcc to call them! */
+CAMLprim value ml_gtk_source_view_init(value unit)
+{      /* Since these are declared const, must force gcc to call them! */
     GType t = gtk_source_view_get_type();
     return Val_GType(t);
 }
 
+CAMLprim value ml_gtk_source_buffer_init(value unit)
+{      /* Since these are declared const, must force gcc to call them! */
+    GType t = gtk_source_buffer_get_type();
+    return Val_GType(t);
+}
+
 #define GtkSourceView_val(val) check_cast(GTK_SOURCE_VIEW,val)
+#define GtkSourceBuffer_val(val) check_cast(GTK_SOURCE_BUFFER,val)
 
 //#####################################
 //
@@ -76,8 +82,13 @@ value ml_##cname (value arg1, value arg2, value arg3) { return Val_option_ptr((c
 ML_2 (gtk_math_view_load_uri, GtkMathView_val, String_val, Val_bool)
 ML_3 (gtk_math_view_set_top, GtkMathView_val, Int_val, Int_val, Unit) */
 
-ML_1 (gtk_source_view_get_show_line_numbers, GtkSourceView_val,
-               Val_bool)
-ML_2 (gtk_source_view_set_show_line_numbers, GtkSourceView_val,
-               Bool_val, Unit)
+/* ML_1 (gtk_source_view_get_show_line_numbers, GtkSourceView_val, Val_bool) */
+/* ML_2 (gtk_source_view_set_show_line_numbers, GtkSourceView_val, Bool_val, Unit) */
+
+ML_1 (gtk_source_buffer_can_undo, GtkSourceBuffer_val, Bool_val)
+ML_1 (gtk_source_buffer_can_redo, GtkSourceBuffer_val, Bool_val)
+ML_1 (gtk_source_buffer_undo, GtkSourceBuffer_val, Unit)
+ML_1 (gtk_source_buffer_redo, GtkSourceBuffer_val, Unit)
+ML_1 (gtk_source_buffer_begin_not_undoable_action, GtkSourceBuffer_val, Unit)
+ML_1 (gtk_source_buffer_end_not_undoable_action, GtkSourceBuffer_val, Unit)