helm/DEVEL/lablgtkmathview/gtkMathView.props

   1 (* $Id$ *)
   2
   3 prefix "Gtk"
   4
   5 header {
   6 open Gtk
   7 open Gtk_mathview
   8
   9 external gdome_element_of_boxed_option :
  10  Gpointer.boxed option -> TElement.t =
  11   "ml_gtk_math_view_gdome_element_of_boxed_option"
  12 ;;
  13
  14 external gdome_element_option_of_boxed_option :
  15  Gpointer.boxed option -> TElement.t option =
  16   "ml_gtk_math_view_gdome_element_option_of_boxed_option"
  17 ;;
  18
  19 let option_element_of_option =
  20  function
  21     None -> None
  22   | Some v -> Some (new Gdome.element v)
  23 ;;
  24
  25 let option_element_of_boxed_option x =
  26  option_element_of_option (gdome_element_option_of_boxed_option x)
  27 ;;
  28
  29 let gdome_element_option_conv =
  30  {Gobject.kind = `POINTER ;
  31   Gobject.proj =
  32    (function
  33        `POINTER element -> option_element_of_boxed_option element
  34      | _ -> failwith "gdome_element_option_conv") ;
  35   Gobject.inj =
  36    (function element -> assert false)
  37  }
  38 }
  39
  40 oheader {
  41
  42 let set_params self ~font_size ~log_verbosity =
  43   begin
  44     match font_size with
  45       Some s -> self#set_font_size s
  46     | None -> ()
  47   end ;
  48   begin
  49     match log_verbosity with
  50       Some v -> self#set_log_verbosity v
  51     | None -> ()
  52   end ;
  53   self
  54 ;;
  55
  56 let pack_return create p ?packing ?show () =
  57   GObj.pack_return (create p) ~packing ~show
  58 ;;
  59
  60 }
  61
  62 conversions {
  63   GdomeElement_option "gdome_element_option_conv"
  64 }
  65
  66 classes {
  67   GtkAdjustment  "Gtk.adjustment obj"
  68   GtkDrawingArea "Gtk.drawing_area obj"
  69 }
  70
  71
  72 class MathView type "math_view obj" set wrapsig : EventBox {
  73 (*
  74   "width"                gint                 : Read
  75   "height"               gint                 : Read
  76   "top-x"                gint                 : Read / Write / NoSet
  77   "top-y"                gint                 : Read / Write / NoSet
  78   "hadjustment"          GtkAdjustment        : Read / Write / Construct
  79   "vadjustment"          GtkAdjustment        : Read / Write / Construct
  80   "buffer"               GdkPixmap            : Read
  81   "drawing-area"         GtkDrawingArea       : Read
  82   "font-size"            guint                : Read / Write / Construct
  83   "log-verbosity"        gint                 : Read / Write / Construct
  84   "root-element"         GdomeElement_option  : Read
  85 *)
  86   signal  click:         GdomeElement_option gint
  87   signal  select_begin:  GdomeElement_option gint
  88   signal  select_over:   GdomeElement_option gint
  89   signal  select_end:    GdomeElement_option gint
  90   signal  select_abort
  91   signal  element_over:  GdomeElement_option gint
  92 }