]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/test/test.ml
* update to version 0.6.4 of the widget
[helm.git] / helm / DEVEL / lablgtkmathview / test / test.ml
index e6bfc9d1d47f7020b63b268b9d1deb587d418833..1c077846b3c377f133934bcc65e929b93c2383d2 100644 (file)
@@ -168,7 +168,7 @@ let load_uri mathview () =
 ;;
 
 let load_doc mathview () =
- mathview#load_doc ~dom:((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ()) ;
+ mathview#load_root ~root:(((Gdome.domImplementation ())#createDocumentFromURI ~uri:"test.xml" ())#get_documentElement) ;
  print_string "load from DOM: SEEMS TO WORK\n" ;
  flush stdout
 ;;
@@ -308,6 +308,7 @@ let get_log_verbosity mathview () =
 let x_coord = ref 0
 ;;
 
+(*
 let get_element_at mathview () =
  begin
   match mathview#get_element_at !x_coord 10 with
@@ -317,6 +318,7 @@ let get_element_at mathview () =
  x_coord := !x_coord + 10 ;
  flush stdout
 ;;
+*)
 
 let get_drawing_area mathview () =
  begin
@@ -326,6 +328,9 @@ let get_drawing_area mathview () =
  flush stdout
 ;;
 
+let _ = (GtkMain.Main.init ())
+;;
+
 (* Widget creation *)
 let main_window = GWindow.window ~title:"GtkMathView test" () in
 let vbox = GPack.vbox ~packing:main_window#add () in
@@ -351,7 +356,7 @@ let button_get_font_size = GButton.button ~label:"get_font_size" ~packing:(table
 let button_set_log_verbosity = GButton.button ~label:"set_log_verbosity" ~packing:(table#attach ~left:0 ~top:4) () in
 let button_get_log_verbosity = GButton.button ~label:"get_log_verbosity" ~packing:(table#attach ~left:1 ~top:4) () 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_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_load#connect#clicked (load_uri mathview)) ;
@@ -376,7 +381,7 @@ ignore(mathview#connect#click (click mathview)) ;
 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_element_at#connect#clicked (get_element_at mathview)) ; *)
 ignore(button_get_drawing_area#connect#clicked (get_drawing_area mathview)) ;
 (* Main Loop *)
 main_window#show () ;