]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkXmHTML.ml
* implemented a more efficient selection to avoid flickering
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gtkXmHTML.ml
1 (* $Id$ *)
2
3 open Gtk
4
5 type string_direction = [
6   | `R_TO_L
7   | `L_TO_R
8 ]
9
10 type position = [
11   | `END
12   | `CENTER
13   | `BEGINNING
14 ]
15
16 type line_type = [
17   | `SOLID
18   | `DASHED
19   | `SINGLE
20   | `DOUBLE
21   | `STRIKE
22   | `UNDER
23   | `NONE
24 ]
25
26 type dither_type = [
27   | `QUICK
28   | `BEST
29   | `FAST
30   | `SLOW
31   | `DISABLED
32 ]
33
34 type xmhtml = [`widget|`container|`xmhtml]
35
36 external create : unit -> xmhtml obj = "ml_gtk_xmhtml_new"
37 external freeze : [> `xmhtml] obj -> unit = "ml_gtk_xmhtml_freeze"
38 external thaw : [> `xmhtml] obj -> unit = "ml_gtk_xmhtml_thaw"
39 external source : [> `xmhtml] obj -> string -> unit = "ml_gtk_xmhtml_source"
40 (* external get_source : [> `xmhtml] obj -> string = "ml_gtk_xmhtml_get_source" *)
41 external set_string_direction : [> `xmhtml] obj -> string_direction -> unit
42   = "ml_gtk_xmhtml_set_string_direction"
43 external set_alignment : [> `xmhtml] obj -> position -> unit
44   = "ml_gtk_xmhtml_set_alignment"
45 (* external set_outline : [> `xmhtml] obj -> bool -> unit
46   = "ml_gtk_xmhtml_outline" *)
47 external set_font_familty :
48   [> `xmhtml] obj -> family:string -> sizes:string -> unit
49   = "ml_gtk_xmhtml_set_font_familty"
50 external set_font_familty_fixed :
51   [> `xmhtml] obj -> family:string -> sizes:string -> unit
52   = "ml_gtk_xmhtml_set_font_familty_fixed"
53 external set_font_charset : [> `xmhtml] obj -> string -> unit
54   = "ml_gtk_xmhtml_set_font_charset"
55 external set_allow_body_colors : [> `xmhtml] obj -> bool -> unit
56   = "ml_gtk_xmhtml_set_allow_body_colors"
57 external set_hilight_on_enter : [> `xmhtml] obj -> bool -> unit
58   = "ml_gtk_xmhtml_set_hilight_on_enter"
59 external set_anchor_underline_type : [> `xmhtml] obj -> line_type list -> unit
60   = "ml_gtk_xmhtml_set_anchor_underline_type"
61 external set_anchor_visited_underline_type :
62   [> `xmhtml] obj -> line_type list -> unit
63   = "ml_gtk_xmhtml_set_anchor_visited_underline_type"
64 external set_anchor_target_underline_type :
65   [> `xmhtml] obj -> line_type list -> unit
66   = "ml_gtk_xmhtml_set_anchor_target_underline_type"
67 external set_allow_color_switching : [> `xmhtml] obj -> bool -> unit
68   = "ml_gtk_xmhtml_set_allow_color_switching"
69 external set_dithering : [> `xmhtml] obj -> dither_type -> unit
70   = "ml_gtk_xmhtml_set_dithering"
71 external set_allow_font_switching : [> `xmhtml] obj -> bool -> unit
72   = "ml_gtk_xmhtml_set_allow_font_switching"
73 external set_max_image_colors : [> `xmhtml] obj -> int -> unit
74   = "ml_gtk_xmhtml_set_max_image_colors"
75 external set_allow_images : [> `xmhtml] obj -> bool -> unit
76   = "ml_gtk_xmhtml_set_allow_images"
77 external set_plc_intervals :
78   [> `xmhtml] obj -> min:int -> max:int -> default:int -> unit
79   = "ml_gtk_xmhtml_set_plc_intervals"
80 (*
81 external set_def_body_image_url : [> `xmhtml] obj -> string -> unit
82   = "ml_gtk_xmhtml_set_def_body_image_url"
83 *)
84 external set_anchor_buttons : [> `xmhtml] obj -> bool -> unit
85   = "ml_gtk_xmhtml_set_anchor_buttons"
86 external set_anchor_cursor : [> `xmhtml] obj -> Gdk.cursor option -> unit
87   = "ml_gtk_xmhtml_set_anchor_cursor"
88 external set_topline : [> `xmhtml] obj -> int -> unit
89   = "ml_gtk_xmhtml_set_topline"
90 external get_topline : [> `xmhtml] obj -> int
91   = "ml_gtk_xmhtml_get_topline"
92 external set_freeze_animations : [> `xmhtml] obj -> bool -> unit
93   = "ml_gtk_xmhtml_set_freeze_animations"
94 external set_screen_gamma : [> `xmhtml] obj -> float -> unit
95   = "ml_gtk_xmhtml_set_screen_gamma"
96 external set_perfect_colors : [> `xmhtml] obj -> bool -> unit
97   = "ml_gtk_xmhtml_set_perfect_colors"
98 external set_uncompress_command : [> `xmhtml] obj -> string -> unit
99   = "ml_gtk_xmhtml_set_uncompress_command"
100 external set_strict_checking : [> `xmhtml] obj -> bool -> unit
101   = "ml_gtk_xmhtml_set_strict_checking"
102 external set_bad_html_warnings : [> `xmhtml] obj -> bool -> unit
103   = "ml_gtk_xmhtml_set_bad_html_warnings"
104 external set_allow_form_coloring : [> `xmhtml] obj -> bool -> unit
105   = "ml_gtk_xmhtml_set_allow_form_coloring"
106 external set_imagemap_draw : [> `xmhtml] obj -> bool -> unit
107   = "ml_gtk_xmhtml_set_imagemap_draw"
108 external set_alpha_processing : [> `xmhtml] obj -> bool -> unit
109   = "ml_gtk_xmhtml_set_alpha_processing"