]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0/test/test.ml
...
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0 / test / test.ml
index 96788c32fcfadc8acbfd7c23a614ccf41c9c699c..e914f4d6b04a8ce0144adc9a9f47630a79af2c9d 100644 (file)
@@ -7,18 +7,14 @@
 (******************************************************************************)
 
 (* Callbacks *)
-let jump node =
-(*
+let jump s =
  print_string ("jump: " ^ s ^ "\n") ;
  flush stdout
-*) ()
 ;;
 
-let clicked node =
-(*
+let clicked () =
  print_string "clicked: IT WORKS\n" ;
  flush stdout
-*) ()
 ;;
 
 let load mathview () =
@@ -29,7 +25,6 @@ let load mathview () =
 
 exception Ok;;
 let get_selection mathview () =
-(*
  let selection =
   match mathview#get_selection with
      None -> "NO SELECTION"
@@ -37,7 +32,6 @@ let get_selection mathview () =
  in
   print_string ("get_selection: " ^ selection ^ "\n") ;
   flush stdout
-*) ()
 ;;
 
 let unload mathview () =
@@ -46,13 +40,11 @@ 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") ;
@@ -119,7 +111,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
@@ -132,7 +124,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)) ;