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 external model_event_of_boxed_option :
  20  Gpointer.boxed option -> TElement.t option * int * int * int =
  21   "ml_gtk_math_view_model_event_of_boxed_option"
  22
  23 let option_element_of_option =
  24  function
  25     None -> None
  26   | Some v -> Some (new Gdome.element v)
  27 ;;
  28
  29 let option_element_of_boxed_option x =
  30  option_element_of_option (gdome_element_option_of_boxed_option x)
  31 ;;
  32
  33 let model_event_of_boxed model_event =
  34  let id,x,y,state = model_event_of_boxed_option model_event in
  35   option_element_of_option id,x,y,state
  36 ;;
  37
  38 let gdome_element_option_conv =
  39  {Gobject.kind = `POINTER ;
  40   Gobject.proj =
  41    (function
  42        `POINTER element -> option_element_of_boxed_option element
  43      | _ -> failwith "gdome_element_option_conv") ;
  44   Gobject.inj =
  45    (function element -> assert false)
  46  }
  47
  48 let gtk_math_view_model_event_conv =
  49  {Gobject.kind = `POINTER ;
  50   Gobject.proj =
  51    (function
  52        `POINTER model_event -> model_event_of_boxed model_event
  53      | _ -> failwith "gtk_math_view_model_event_conv") ;
  54   Gobject.inj =
  55    (function element -> assert false)
  56  }
  57 }
  58
  59 oheader {
  60
  61 let set_params self ~font_size ~log_verbosity =
  62   begin
  63     match font_size with
  64       Some s -> self#set_font_size s
  65     | None -> ()
  66   end ;
  67   begin
  68     match log_verbosity with
  69       Some v -> self#set_log_verbosity v
  70     | None -> ()
  71   end ;
  72   self
  73 ;;
  74
  75 let pack_return create p ?packing ?show () =
  76   GObj.pack_return (create p) ~packing ~show
  77 ;;
  78
  79 }
  80
  81 conversions {
  82   GdomeElement_option "gdome_element_option_conv"
  83   GtkMathViewModelEvent "gtk_math_view_model_event_conv"
  84 }
  85
  86 classes {
  87   GtkAdjustment  "Gtk.adjustment obj"
  88 }
  89
  90
  91 class MathView_GMetaDOM type "math_view obj" set wrapsig : Widget {
  92 (*
  93   "width"                gint                 : Read
  94   "height"               gint                 : Read
  95   "top-x"                gint                 : Read / Write / NoSet
  96   "top-y"                gint                 : Read / Write / NoSet
  97   "hadjustment"          GtkAdjustment        : Read / Write / Construct
  98   "vadjustment"          GtkAdjustment        : Read / Write / Construct
  99   "buffer"               GdkPixmap            : Read
 100   "drawing-area"         GtkDrawingArea       : Read
 101   "font-size"            guint                : Read / Write / Construct
 102   "log-verbosity"        gint                 : Read / Write / Construct
 103   "root-element"         GdomeElement_option  : Read
 104 *)
 105   signal  click:         GtkMathViewModelEvent
 106   signal  select_begin:  GtkMathViewModelEvent
 107   signal  select_over:   GtkMathViewModelEvent
 108   signal  select_end:    GtkMathViewModelEvent
 109   signal  select_abort
 110   signal  element_over:  GtkMathViewModelEvent
 111 }