]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gtkxmhtml.c
SQL quoting fixed in relation.ml
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / ml_gtkxmhtml.c
1 /* $Id$ */
2
3 #include <string.h>
4 #include <gtk/gtk.h>
5 #include <gtk-xmhtml/gtk-xmhtml.h>
6 #include <caml/mlvalues.h>
7 #include <caml/alloc.h>
8 #include <caml/memory.h>
9 #include <caml/callback.h>
10 #include <caml/fail.h>
11
12 #include "wrappers.h"
13 #include "ml_glib.h"
14 #include "ml_gdk.h"
15 #include "ml_gtk.h"
16 #include "gtkxmhtml_tags.h"
17
18 /* conversion functions */
19
20 #include "gtkxmhtml_tags.c"
21
22 Make_Flags_val (Line_type_val)
23
24 #define GtkXmHTML_val(val) ((GtkXmHTML*)GtkObject_val(val))
25
26 ML_0 (gtk_xmhtml_new, Val_GtkAny_sink)
27 ML_1 (gtk_xmhtml_freeze, GtkXmHTML_val, Unit)
28 ML_1 (gtk_xmhtml_thaw, GtkXmHTML_val, Unit)
29 ML_2 (gtk_xmhtml_source, GtkXmHTML_val, String_val, Unit)
30 ML_2 (gtk_xmhtml_set_string_direction, GtkXmHTML_val, String_direction_val,
31       Unit)
32 ML_2 (gtk_xmhtml_set_alignment, GtkXmHTML_val, Position_val, Unit)
33 /* ML_2 (gtk_xmhtml_outline, GtkXmHTML_val, Bool_val, Unit) */
34 ML_3 (gtk_xmhtml_set_font_familty, GtkXmHTML_val, String_val, String_val, Unit)
35 ML_3 (gtk_xmhtml_set_font_familty_fixed, GtkXmHTML_val, String_val, String_val,
36       Unit)
37 ML_2 (gtk_xmhtml_set_font_charset, GtkXmHTML_val, String_val, Unit)
38 ML_2 (gtk_xmhtml_set_allow_body_colors, GtkXmHTML_val, Bool_val, Unit)
39 ML_2 (gtk_xmhtml_set_hilight_on_enter, GtkXmHTML_val, Bool_val, Unit)
40 ML_2 (gtk_xmhtml_set_anchor_underline_type, GtkXmHTML_val, Flags_Line_type_val,
41       Unit)
42 ML_2 (gtk_xmhtml_set_anchor_visited_underline_type, GtkXmHTML_val,
43       Flags_Line_type_val, Unit)
44 ML_2 (gtk_xmhtml_set_anchor_target_underline_type, GtkXmHTML_val,
45       Flags_Line_type_val, Unit)
46 ML_2 (gtk_xmhtml_set_allow_color_switching, GtkXmHTML_val, Bool_val, Unit)
47 ML_2 (gtk_xmhtml_set_dithering, GtkXmHTML_val, Dither_type_val, Unit)
48 ML_2 (gtk_xmhtml_set_allow_font_switching, GtkXmHTML_val, Bool_val, Unit)
49 ML_2 (gtk_xmhtml_set_max_image_colors, GtkXmHTML_val, Int_val, Unit)
50 ML_2 (gtk_xmhtml_set_allow_images, GtkXmHTML_val, Bool_val, Unit)
51 ML_4 (gtk_xmhtml_set_plc_intervals, GtkXmHTML_val, Int_val, Int_val, Int_val,
52       Unit)
53 /* ML_2 (gtk_xmhtml_set_def_body_image_url, GtkXmHTML_val, String_val, Unit) */
54 ML_2 (gtk_xmhtml_set_anchor_buttons, GtkXmHTML_val, Bool_val, Unit)
55 value ml_gtk_xmhtml_set_anchor_cursor(value html, value cursor)
56 {
57      gtk_xmhtml_set_anchor_cursor
58           (GtkXmHTML_val(html), Option_val(cursor, GdkCursor_val, NULL),
59            Bool_val(cursor));
60      return Val_unit;
61 }
62 ML_2 (gtk_xmhtml_set_topline, GtkXmHTML_val, Int_val, Unit)
63 ML_1 (gtk_xmhtml_get_topline, GtkXmHTML_val, Val_int)
64 ML_2 (gtk_xmhtml_set_freeze_animations, GtkXmHTML_val, Bool_val, Unit)
65 /* ML_1 (gtk_xmhtml_get_source, GtkXmHTML_val, copy_string) */
66 ML_2 (gtk_xmhtml_set_screen_gamma, GtkXmHTML_val, Float_val, Unit)
67 /* ML_2 (gtk_xmhtml_set_event_proc, GtkXmHTML_val, ???, Unit) */
68 ML_2 (gtk_xmhtml_set_perfect_colors, GtkXmHTML_val, Bool_val, Unit)
69 ML_2 (gtk_xmhtml_set_uncompress_command, GtkXmHTML_val, String_val, Unit)
70 ML_2 (gtk_xmhtml_set_strict_checking, GtkXmHTML_val, Bool_val, Unit)
71 ML_2 (gtk_xmhtml_set_bad_html_warnings, GtkXmHTML_val, Bool_val, Unit)
72 ML_2 (gtk_xmhtml_set_allow_form_coloring, GtkXmHTML_val, Bool_val, Unit)
73 ML_2 (gtk_xmhtml_set_imagemap_draw, GtkXmHTML_val, Bool_val, Unit)
74 ML_2 (gtk_xmhtml_set_mime_type, GtkXmHTML_val, String_val, Unit)
75 ML_2 (gtk_xmhtml_set_alpha_processing, GtkXmHTML_val, Bool_val, Unit)
76 ML_2 (gtk_xmhtml_set_rgb_conv_mode, GtkXmHTML_val, Dither_type_val, Unit)