helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/ml_gtk_mathview.c

   1 #include <string.h>
   2 #include <gtk/gtk.h>
   3 #include <caml/mlvalues.h>
   4 #include <caml/alloc.h>
   5 #include <caml/memory.h>
   6 #include <caml/callback.h>
   7 #include <caml/fail.h>
   8
   9 #include <gtkmathview/gtkmathview.h>
  10 #include <ml_gtk.h>
  11
  12 #include <wrappers.h>
  13 #include <ml_glib.h>
  14 #include <ml_gdk.h>
  15 #include <ml_gtk.h>
  16 #include <gtk_tags.h>
  17
  18 /* <CSC/>: Next row should be put in a .h of lablgtk. */
  19 #define GtkAdjustment_val(val) check_cast(GTK_ADJUSTMENT,val)
  20
  21 #define GtkMathView_val(val) check_cast(GTK_MATH_VIEW,val)
  22 ML_2 (gtk_math_view_new,GtkAdjustment_val, GtkAdjustment_val,Val_GtkWidget_sink)
  23 ML_2 (gtk_math_view_load, GtkMathView_val, String_val, Val_bool)
  24 ML_1 (gtk_math_view_unload, GtkMathView_val, Unit)
  25 ML_1 (gtk_math_view_dump, GtkMathView_val, Unit)
  26 ML_1 (gtk_math_view_get_width, GtkMathView_val, Val_int)
  27 ML_1 (gtk_math_view_get_height, GtkMathView_val, Val_int)
  28 //ML_3 (gtk_math_view_set_top, GtkMathView_val, Int_val, Int_val, Unit)
  29 ML_3 (gtk_math_view_set_adjustments, GtkMathView_val, GtkAdjustment_val, GtkAdjustment_val, Unit)
  30 ML_1 (gtk_math_view_get_hadjustment, GtkMathView_val, Val_GtkWidget)
  31 ML_1 (gtk_math_view_get_vadjustment, GtkMathView_val, Val_GtkWidget)
  32 ML_1 (gtk_math_view_get_buffer, GtkMathView_val, Val_GdkPixmap)
  33 ML_1 (gtk_math_view_get_frame, GtkMathView_val, Val_GtkWidget)
  34 ML_2 (gtk_math_view_set_font_size, GtkMathView_val, Int_val, Unit)
  35
  36 /*
  37 value ml_gtk_math_view_get_top (value arg1)
  38 {
  39    CAMLparam1(arg1);
  40    CAMLlocal1 (result);
  41    int x, y;
  42    gtk_math_view_get_top(GtkMathView_val (arg1), &x, &y);
  43    result = alloc(2, 0);
  44    Store_field(result, 0, Val_int(x));
  45    Store_field(result, 0, Val_int(y));
  46    CAMLreturn (result);
  47 }
  48 */
  49
  50 value ml_gtk_math_view_get_selection (value arg1)
  51 {
  52    const char *stringa;
  53    stringa = gtk_math_view_get_selection (GtkMathView_val (arg1));
  54    return Val_option (stringa, Val_string);
  55 }