]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml
First release. All implemented but the PostScript output. Nothing tested
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / test / test.ml
index e914f4d6b04a8ce0144adc9a9f47630a79af2c9d..96788c32fcfadc8acbfd7c23a614ccf41c9c699c 100644 (file)
@@ -7,14 +7,18 @@
 (******************************************************************************)
 
 (* Callbacks *)
-let jump s =
+let jump node =
+(*
  print_string ("jump: " ^ s ^ "\n") ;
  flush stdout
+*) ()
 ;;
 
-let clicked () =
+let clicked node =
+(*
  print_string "clicked: IT WORKS\n" ;
  flush stdout
+*) ()
 ;;
 
 let load mathview () =
@@ -25,6 +29,7 @@ let load mathview () =
 
 exception Ok;;
 let get_selection mathview () =
+(*
  let selection =
   match mathview#get_selection with
      None -> "NO SELECTION"
@@ -32,6 +37,7 @@ let get_selection mathview () =
  in
   print_string ("get_selection: " ^ selection ^ "\n") ;
   flush stdout
+*) ()
 ;;
 
 let unload mathview () =
@@ -40,11 +46,13 @@ let unload mathview () =
  flush stdout
 ;;
 
+(*
 let dump mathview () =
  mathview#dump ;
  print_string "dump: SEEMS TO WORK\n" ;
  flush stdout
 ;;
+*)
 
 let get_width mathview () =
  print_string ("get_width: " ^ string_of_int (mathview#get_width) ^ "\n") ;
@@ -111,7 +119,7 @@ let hbox = GPack.hbox ~packing:vbox#pack () in
 let button_load = GButton.button ~label:"load" ~packing:hbox#pack () in
 let button_get_selection = GButton.button ~label:"get_selection" ~packing:hbox#pack () in
 let button_unload = GButton.button ~label:"unload" ~packing:hbox#pack () in
-let button_dump = GButton.button ~label:"dump" ~packing:hbox#pack () in
+(*let button_dump = GButton.button ~label:"dump" ~packing:hbox#pack () in*)
 let button_get_width = GButton.button ~label:"get_width" ~packing:hbox#pack () in
 let button_get_height = GButton.button ~label:"get_height" ~packing:hbox#pack () in
 let button_set_adjustments = GButton.button ~label:"set_adjustments" ~packing:hbox#pack () in
@@ -124,7 +132,7 @@ let button_set_font_size = GButton.button ~label:"set_font_size" ~packing:hbox#p
 ignore(button_load#connect#clicked (load mathview)) ;
 ignore(button_get_selection#connect#clicked (get_selection mathview)) ;
 ignore(button_unload#connect#clicked (unload mathview)) ;
-ignore(button_dump#connect#clicked (dump mathview)) ;
+(*ignore(button_dump#connect#clicked (dump mathview)) ;*)
 ignore(button_get_width#connect#clicked (get_width mathview)) ;
 ignore(button_get_height#connect#clicked (get_height mathview)) ;
 ignore(button_set_adjustments#connect#clicked (set_adjustments mathview)) ;