X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FgtkMathView.props;h=d26050ce4872c02a495fdb73bd0bcaac06800db1;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=fba5f3c946e50a4a3ec84f5a1199635243c39d91;hpb=7cb90c67bc6f8113188a91ecc29f6db20db5aeb8;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/gtkMathView.props b/helm/DEVEL/lablgtkmathview/gtkMathView.props
index fba5f3c94..d26050ce4 100644
--- a/helm/DEVEL/lablgtkmathview/gtkMathView.props
+++ b/helm/DEVEL/lablgtkmathview/gtkMathView.props
@@ -16,6 +16,10 @@ external gdome_element_option_of_boxed_option :
   "ml_gtk_math_view_gdome_element_option_of_boxed_option"
 ;;
 
+external model_event_of_boxed_option :
+ Gpointer.boxed option -> TElement.t option * int * int * int =
+  "ml_gtk_math_view_model_event_of_boxed_option"
+
 let option_element_of_option =
  function
     None -> None
@@ -26,6 +30,11 @@ let option_element_of_boxed_option x =
  option_element_of_option (gdome_element_option_of_boxed_option x)
 ;;
 
+let model_event_of_boxed model_event =
+ let id,x,y,state = model_event_of_boxed_option model_event in
+  option_element_of_option id,x,y,state
+;;
+
 let gdome_element_option_conv =
  {Gobject.kind = `POINTER ;
   Gobject.proj =
@@ -35,6 +44,16 @@ let gdome_element_option_conv =
   Gobject.inj =
    (function element -> assert false)
  }
+
+let gtk_math_view_model_event_conv =
+ {Gobject.kind = `POINTER ;
+  Gobject.proj =
+   (function
+       `POINTER model_event -> model_event_of_boxed model_event
+     | _ -> failwith "gtk_math_view_model_event_conv") ;
+  Gobject.inj =
+   (function element -> assert false)
+ }
 }
 
 oheader {
@@ -61,15 +80,15 @@ let pack_return create p ?packing ?show () =
 
 conversions {
   GdomeElement_option "gdome_element_option_conv"
+  GtkMathViewModelEvent "gtk_math_view_model_event_conv"
 }
 
 classes {
   GtkAdjustment  "Gtk.adjustment obj"
-  GtkDrawingArea "Gtk.drawing_area obj"
 }
 
 
-class MathView type "math_view obj" set wrapsig : EventBox {
+class MathView_GMetaDOM type "math_view obj" set wrapsig : Widget {
 (*
   "width"                gint                 : Read
   "height"               gint                 : Read
@@ -83,10 +102,10 @@ class MathView type "math_view obj" set wrapsig : EventBox {
   "log-verbosity"        gint                 : Read / Write / Construct
   "root-element"         GdomeElement_option  : Read
 *)
-  signal  click:         GdomeElement_option gint
-  signal  select_begin:  GdomeElement_option gint
-  signal  select_over:   GdomeElement_option gint
-  signal  select_end:    GdomeElement_option gint
+  signal  click:         GtkMathViewModelEvent
+  signal  select_begin:  GtkMathViewModelEvent
+  signal  select_over:   GtkMathViewModelEvent
+  signal  select_end:    GtkMathViewModelEvent
   signal  select_abort
-  signal  element_over:  GdomeElement_option gint
+  signal  element_over:  GtkMathViewModelEvent
 }