]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20001129_gtkmathview-0.2.1/ml_gtk_mathview.c
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20001129_gtkmathview-0.2.1 / ml_gtk_mathview.c
1 #include <assert.h>
2 #include <string.h>
3 #include <assert.h>
4 #include <gtk/gtk.h>
5 #include <caml/mlvalues.h>
6 #include <caml/alloc.h>
7 #include <caml/memory.h>
8 #include <caml/callback.h>
9 #include <caml/fail.h>
10
11 #include <gtkmathview.h>
12 #include <ml_gtk.h>
13
14 #include <wrappers.h>
15 #include <ml_glib.h>
16 #include <ml_gdk.h>
17 #include <ml_gtk.h>
18 #include <gtk_tags.h>
19
20 #include <minidom.h>
21 #include "minidom/ml_minidom.h"
22
23 /* <CSC/>: Next row should be put in a .h of lablgtk. */
24 #define GtkAdjustment_val(val) check_cast(GTK_ADJUSTMENT,val)
25
26 #define GtkMathView_val(val) check_cast(GTK_MATH_VIEW,val)
27
28 #define FontManagerId_val(val) Int_val(val)
29 #define Val_FontManagerId(val) Val_int(val)
30
31 FontManagerId
32 font_manager_id_of_value(value v)
33 {
34   if (v == hash_variant("font_manager_gtk")) return FONT_MANAGER_GTK;
35   else if (v == hash_variant("font_manager_t1")) return FONT_MANAGER_T1;
36   else assert(0);
37 }
38
39 value
40 value_of_font_manager_id(FontManagerId id)
41 {
42   switch (id) {
43   case FONT_MANAGER_GTK:
44     return hash_variant("font_manager_gtk");
45   case FONT_MANAGER_T1:
46     return hash_variant("font_manager_t1");
47   default:
48     assert(0);
49     break;
50   }
51 }
52
53 ML_2 (gtk_math_view_new,GtkAdjustment_val, GtkAdjustment_val, Val_GtkWidget_sink)
54 ML_2 (gtk_math_view_load, GtkMathView_val, String_val, Val_bool)
55 ML_1 (gtk_math_view_unload, GtkMathView_val, Unit)
56 /*ML_1 (gtk_math_view_dump, GtkMathView_val, Unit)*/
57 ML_1 (gtk_math_view_get_selection, GtkMathView_val, Val_mDOMNodeRef)
58 ML_2 (gtk_math_view_set_selection, GtkMathView_val, mDOMNodeRef_val, Unit)
59 ML_1 (gtk_math_view_get_width, GtkMathView_val, Val_int)
60 ML_1 (gtk_math_view_get_height, GtkMathView_val, Val_int)
61 ML_3 (gtk_math_view_set_top, GtkMathView_val, Int_val, Int_val, Unit)
62 ML_3 (gtk_math_view_set_adjustments, GtkMathView_val, GtkAdjustment_val, GtkAdjustment_val, Unit)
63 ML_1 (gtk_math_view_get_hadjustment, GtkMathView_val, Val_GtkWidget)
64 ML_1 (gtk_math_view_get_vadjustment, GtkMathView_val, Val_GtkWidget)
65 ML_1 (gtk_math_view_get_buffer, GtkMathView_val, Val_GdkPixmap)
66 ML_1 (gtk_math_view_get_frame, GtkMathView_val, Val_GtkWidget)
67 ML_2 (gtk_math_view_set_font_size, GtkMathView_val, Int_val, Unit)
68 ML_1 (gtk_math_view_get_font_size, GtkMathView_val, Val_int)
69 ML_2 (gtk_math_view_set_anti_aliasing, GtkMathView_val, Bool_val, Unit)
70 ML_1 (gtk_math_view_get_anti_aliasing, GtkMathView_val, Val_bool)
71 ML_2 (gtk_math_view_set_kerning, GtkMathView_val, Bool_val, Unit)
72 ML_1 (gtk_math_view_get_kerning, GtkMathView_val, Val_bool)
73 ML_2 (gtk_math_view_set_log_verbosity, GtkMathView_val, Int_val, Unit)
74 ML_1 (gtk_math_view_get_log_verbosity, GtkMathView_val, Val_int)
75 ML_2 (gtk_math_view_set_font_manager_type, GtkMathView_val, font_manager_id_of_value, Unit)
76 ML_1 (gtk_math_view_get_font_manager_type, GtkMathView_val, value_of_font_manager_id)
77
78 value
79 ml_gtk_math_view_export_to_postscript_native(value arg1,
80                 value w, value h, value x0, value y0, value disable_colors, value arg2)
81 {
82    CAMLparam5(arg1,w,h,x0,y0);
83    CAMLxparam2(disable_colors, arg2);
84
85    char *filename;
86    FILE *fd;
87    int res;
88    filename = String_val (arg2);
89    if ((fd = fopen(filename, "w"))) {
90       gtk_math_view_export_to_postscript(GtkMathView_val (arg1),
91                       Int_val(w), Int_val(h), Int_val(x0), Int_val(y0), Bool_val(disable_colors), fd);
92       fclose (fd);
93       res = 1;
94    } else {
95       fprintf(stderr, "Error opening file %s for writing\n", filename);
96       res = 0;
97    }
98    CAMLreturn (Val_bool(res));
99 }
100
101 value ml_gtk_math_view_export_to_postscript_bytecode (value* arg, int argn)
102 {
103    return ml_gtk_math_view_export_to_postscript_native(arg[0], arg[1], arg[2], arg[3], arg[4], arg[5], arg[6]);
104 }
105
106 value ml_gtk_math_view_get_top (value arg1)
107 {
108    CAMLparam1(arg1);
109    CAMLlocal1 (result);
110    int x, y;
111    gtk_math_view_get_top(GtkMathView_val (arg1), &x, &y);
112    result = alloc(2, 0);
113    Store_field(result, 0, Val_int(x));
114    Store_field(result, 0, Val_int(y));
115    CAMLreturn (result);
116 }
117
118
119 value ml_gtk_math_view_mDOMNode_of_bodex_option (value arg1)
120 {
121    CAMLparam1(arg1);
122
123    mDOMNodeRef nr;
124    CAMLlocal1 (tmp);
125    CAMLlocal1 (optval);
126    CAMLlocal1 (res);
127
128    if (arg1==Val_int(0)) {
129       assert(0);
130    } else {
131       tmp = Field(arg1, 0);
132       nr = (mDOMNodeRef) Field(tmp, 1);
133    }
134    optval = Val_mDOMNodeRef(nr);
135    if (optval==Val_int(0)) {
136       assert(0);
137    } else {
138       res = Field(optval, 0);
139    }
140
141   CAMLreturn(res);
142 }
143
144 value ml_gtk_math_view_mDOMNode_option_of_bodex_option (value arg1)
145 {
146    CAMLparam1(arg1);
147
148    mDOMNodeRef nr;
149    CAMLlocal1 (tmp);
150
151    if (arg1==Val_int(0)) {
152       nr=NULL;
153    } else {
154       tmp = Field(arg1, 0);
155       nr = (mDOMNodeRef) Field(tmp, 1);
156    }
157
158   CAMLreturn(Val_mDOMNodeRef(nr));
159 }