X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fml_gtkxmhtml.c;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2Fml_gtkxmhtml.c;h=3f9c3c6c450e3b6a2cd943090183876c563790ca;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gtkxmhtml.c b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gtkxmhtml.c
new file mode 100644
index 000000000..3f9c3c6c4
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/ml_gtkxmhtml.c
@@ -0,0 +1,76 @@
+/* $Id$ */
+
+#include <string.h>
+#include <gtk/gtk.h>
+#include <gtk-xmhtml/gtk-xmhtml.h>
+#include <caml/mlvalues.h>
+#include <caml/alloc.h>
+#include <caml/memory.h>
+#include <caml/callback.h>
+#include <caml/fail.h>
+
+#include "wrappers.h"
+#include "ml_glib.h"
+#include "ml_gdk.h"
+#include "ml_gtk.h"
+#include "gtkxmhtml_tags.h"
+
+/* conversion functions */
+
+#include "gtkxmhtml_tags.c"
+
+Make_Flags_val (Line_type_val)
+
+#define GtkXmHTML_val(val) ((GtkXmHTML*)GtkObject_val(val))
+
+ML_0 (gtk_xmhtml_new, Val_GtkAny_sink)
+ML_1 (gtk_xmhtml_freeze, GtkXmHTML_val, Unit)
+ML_1 (gtk_xmhtml_thaw, GtkXmHTML_val, Unit)
+ML_2 (gtk_xmhtml_source, GtkXmHTML_val, String_val, Unit)
+ML_2 (gtk_xmhtml_set_string_direction, GtkXmHTML_val, String_direction_val,
+      Unit)
+ML_2 (gtk_xmhtml_set_alignment, GtkXmHTML_val, Position_val, Unit)
+/* ML_2 (gtk_xmhtml_outline, GtkXmHTML_val, Bool_val, Unit) */
+ML_3 (gtk_xmhtml_set_font_familty, GtkXmHTML_val, String_val, String_val, Unit)
+ML_3 (gtk_xmhtml_set_font_familty_fixed, GtkXmHTML_val, String_val, String_val,
+      Unit)
+ML_2 (gtk_xmhtml_set_font_charset, GtkXmHTML_val, String_val, Unit)
+ML_2 (gtk_xmhtml_set_allow_body_colors, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_hilight_on_enter, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_anchor_underline_type, GtkXmHTML_val, Flags_Line_type_val,
+      Unit)
+ML_2 (gtk_xmhtml_set_anchor_visited_underline_type, GtkXmHTML_val,
+      Flags_Line_type_val, Unit)
+ML_2 (gtk_xmhtml_set_anchor_target_underline_type, GtkXmHTML_val,
+      Flags_Line_type_val, Unit)
+ML_2 (gtk_xmhtml_set_allow_color_switching, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_dithering, GtkXmHTML_val, Dither_type_val, Unit)
+ML_2 (gtk_xmhtml_set_allow_font_switching, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_max_image_colors, GtkXmHTML_val, Int_val, Unit)
+ML_2 (gtk_xmhtml_set_allow_images, GtkXmHTML_val, Bool_val, Unit)
+ML_4 (gtk_xmhtml_set_plc_intervals, GtkXmHTML_val, Int_val, Int_val, Int_val,
+      Unit)
+/* ML_2 (gtk_xmhtml_set_def_body_image_url, GtkXmHTML_val, String_val, Unit) */
+ML_2 (gtk_xmhtml_set_anchor_buttons, GtkXmHTML_val, Bool_val, Unit)
+value ml_gtk_xmhtml_set_anchor_cursor(value html, value cursor)
+{
+     gtk_xmhtml_set_anchor_cursor
+          (GtkXmHTML_val(html), Option_val(cursor, GdkCursor_val, NULL),
+           Bool_val(cursor));
+     return Val_unit;
+}
+ML_2 (gtk_xmhtml_set_topline, GtkXmHTML_val, Int_val, Unit)
+ML_1 (gtk_xmhtml_get_topline, GtkXmHTML_val, Val_int)
+ML_2 (gtk_xmhtml_set_freeze_animations, GtkXmHTML_val, Bool_val, Unit)
+/* ML_1 (gtk_xmhtml_get_source, GtkXmHTML_val, copy_string) */
+ML_2 (gtk_xmhtml_set_screen_gamma, GtkXmHTML_val, Float_val, Unit)
+/* ML_2 (gtk_xmhtml_set_event_proc, GtkXmHTML_val, ???, Unit) */
+ML_2 (gtk_xmhtml_set_perfect_colors, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_uncompress_command, GtkXmHTML_val, String_val, Unit)
+ML_2 (gtk_xmhtml_set_strict_checking, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_bad_html_warnings, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_allow_form_coloring, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_imagemap_draw, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_mime_type, GtkXmHTML_val, String_val, Unit)
+ML_2 (gtk_xmhtml_set_alpha_processing, GtkXmHTML_val, Bool_val, Unit)
+ML_2 (gtk_xmhtml_set_rgb_conv_mode, GtkXmHTML_val, Dither_type_val, Unit)