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"