X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2Ftest%2Ftest.ml;h=ca9abd84bbab42645173c0b57e0a0347c5874fdf;hb=5a369548a2f04fb59b5cbb94526325aae9bf415a;hp=0e8eca5cf2947d497661cba093b1c10e53ad1464;hpb=ee18ff6db8d49339230b4212e145964b12c5a523;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/test/test.ml b/helm/DEVEL/lablgtkmathview/test/test.ml
index 0e8eca5cf..ca9abd84b 100644
--- a/helm/DEVEL/lablgtkmathview/test/test.ml
+++ b/helm/DEVEL/lablgtkmathview/test/test.ml
@@ -103,11 +103,14 @@ let rec action mathview (element : Gdome.element) =
        end
      | None -> assert false (* every element has a parent *)
 
-let click mathview (element : Gdome.element) _ =
+let click mathview (element : Gdome.element option) _ =
  let module G = Gdome in
-  if not (jump element) then
-  if not (mathview#action_toggle element) then
-   ()
+  match element with
+     None -> print_string "CLICKED ON NOTHING\n" ; flush stdout
+   | Some element ->
+      if not (jump element) then
+      if not (mathview#action_toggle element) then
+       ()
 ;;
 
 
@@ -345,6 +348,14 @@ let get_element_at mathview () =
  flush stdout
 ;;
 
+let get_drawing_area mathview () =
+ begin
+  let da = mathview#get_drawing_area in
+  print_string ("don't know what to do with the drawing area\n")
+ end ;
+ flush stdout
+;;
+
 (* Widget creation *)
 let main_window = GWindow.window ~title:"GtkMathView test" () in
 let vbox = GPack.vbox ~packing:main_window#add () in
@@ -380,6 +391,7 @@ let button_get_transparency = GButton.button ~label:"get_transparency" ~packing:
 let button_set_transparency = GButton.button ~label:"set_transparency" ~packing:(table#attach ~left:1 ~top:5) () in
 let button_load_dom = GButton.button ~label:"load from DOM" ~packing:(table#attach ~left:2 ~top:5) () in
 let button_get_element_at = GButton.button ~label:"get_element_at" ~packing:(table#attach ~left:3 ~top:5) () in
+let button_get_drawing_area = GButton.button ~label:"get_drawing_area" ~packing:(table#attach ~left:4 ~top:5) () in
 (* Signals connection *)
 ignore(button_gtk#connect#clicked (activate_gtk mathview)) ;
 ignore(button_load#connect#clicked (load_uri mathview)) ;
@@ -413,6 +425,7 @@ ignore(mathview#connect#selection_changed (selection_changed mathview));
 ignore(mathview#connect#element_over (element_over mathview)) ;
 ignore(button_load_dom#connect#clicked (load_doc mathview)) ;
 ignore(button_get_element_at#connect#clicked (get_element_at mathview)) ;
+ignore(button_get_drawing_area#connect#clicked (get_drawing_area mathview)) ;
 (* Main Loop *)
 main_window#show () ;
 GMain.Main.main ()