]> matita.cs.unibo.it Git - helm.git/blob - DEVEL/lablgtkmathview/gtkMathView.props
Manual porting of CoRN to Matita.
[helm.git] / 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 }