X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgtkXmHTML.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgtkXmHTML.ml;h=0000000000000000000000000000000000000000;hp=3bf5791a49f72944c85b5f4f4ed85e0c881f31cd;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkXmHTML.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkXmHTML.ml
deleted file mode 100644
index 3bf5791a4..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkXmHTML.ml
+++ /dev/null
@@ -1,109 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-
-type string_direction = [
-  | `R_TO_L
-  | `L_TO_R
-]
-
-type position = [
-  | `END
-  | `CENTER
-  | `BEGINNING
-]
-
-type line_type = [
-  | `SOLID
-  | `DASHED
-  | `SINGLE
-  | `DOUBLE
-  | `STRIKE
-  | `UNDER
-  | `NONE
-]
-
-type dither_type = [
-  | `QUICK
-  | `BEST
-  | `FAST
-  | `SLOW
-  | `DISABLED
-]
-
-type xmhtml = [`widget|`container|`xmhtml]
-
-external create : unit -> xmhtml obj = "ml_gtk_xmhtml_new"
-external freeze : [> `xmhtml] obj -> unit = "ml_gtk_xmhtml_freeze"
-external thaw : [> `xmhtml] obj -> unit = "ml_gtk_xmhtml_thaw"
-external source : [> `xmhtml] obj -> string -> unit = "ml_gtk_xmhtml_source"
-(* external get_source : [> `xmhtml] obj -> string = "ml_gtk_xmhtml_get_source" *)
-external set_string_direction : [> `xmhtml] obj -> string_direction -> unit
-  = "ml_gtk_xmhtml_set_string_direction"
-external set_alignment : [> `xmhtml] obj -> position -> unit
-  = "ml_gtk_xmhtml_set_alignment"
-(* external set_outline : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_outline" *)
-external set_font_familty :
-  [> `xmhtml] obj -> family:string -> sizes:string -> unit
-  = "ml_gtk_xmhtml_set_font_familty"
-external set_font_familty_fixed :
-  [> `xmhtml] obj -> family:string -> sizes:string -> unit
-  = "ml_gtk_xmhtml_set_font_familty_fixed"
-external set_font_charset : [> `xmhtml] obj -> string -> unit
-  = "ml_gtk_xmhtml_set_font_charset"
-external set_allow_body_colors : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_allow_body_colors"
-external set_hilight_on_enter : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_hilight_on_enter"
-external set_anchor_underline_type : [> `xmhtml] obj -> line_type list -> unit
-  = "ml_gtk_xmhtml_set_anchor_underline_type"
-external set_anchor_visited_underline_type :
-  [> `xmhtml] obj -> line_type list -> unit
-  = "ml_gtk_xmhtml_set_anchor_visited_underline_type"
-external set_anchor_target_underline_type :
-  [> `xmhtml] obj -> line_type list -> unit
-  = "ml_gtk_xmhtml_set_anchor_target_underline_type"
-external set_allow_color_switching : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_allow_color_switching"
-external set_dithering : [> `xmhtml] obj -> dither_type -> unit
-  = "ml_gtk_xmhtml_set_dithering"
-external set_allow_font_switching : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_allow_font_switching"
-external set_max_image_colors : [> `xmhtml] obj -> int -> unit
-  = "ml_gtk_xmhtml_set_max_image_colors"
-external set_allow_images : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_allow_images"
-external set_plc_intervals :
-  [> `xmhtml] obj -> min:int -> max:int -> default:int -> unit
-  = "ml_gtk_xmhtml_set_plc_intervals"
-(*
-external set_def_body_image_url : [> `xmhtml] obj -> string -> unit
-  = "ml_gtk_xmhtml_set_def_body_image_url"
-*)
-external set_anchor_buttons : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_anchor_buttons"
-external set_anchor_cursor : [> `xmhtml] obj -> Gdk.cursor option -> unit
-  = "ml_gtk_xmhtml_set_anchor_cursor"
-external set_topline : [> `xmhtml] obj -> int -> unit
-  = "ml_gtk_xmhtml_set_topline"
-external get_topline : [> `xmhtml] obj -> int
-  = "ml_gtk_xmhtml_get_topline"
-external set_freeze_animations : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_freeze_animations"
-external set_screen_gamma : [> `xmhtml] obj -> float -> unit
-  = "ml_gtk_xmhtml_set_screen_gamma"
-external set_perfect_colors : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_perfect_colors"
-external set_uncompress_command : [> `xmhtml] obj -> string -> unit
-  = "ml_gtk_xmhtml_set_uncompress_command"
-external set_strict_checking : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_strict_checking"
-external set_bad_html_warnings : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_bad_html_warnings"
-external set_allow_form_coloring : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_allow_form_coloring"
-external set_imagemap_draw : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_imagemap_draw"
-external set_alpha_processing : [> `xmhtml] obj -> bool -> unit
-  = "ml_gtk_xmhtml_set_alpha_processing"