]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtkmathview/gtkMathView.props
use "assert false" where needed
[helm.git] / 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 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 }