X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Ftest%2Ftest.ml;h=aeb2a60102a6049d5200f7af0e7d1c7af20439d1;hb=0d9d6be5c3d0800c30af3db0d76101dc54743464;hp=731acea33f8f89f36a6c259257c257a8e97d8557;hpb=4b993948e0b13d53d00576f9d341fd2e2a4c9c14;p=helm.git diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml index 731acea33..aeb2a6010 100644 --- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml +++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/test.ml @@ -8,26 +8,53 @@ (* Callbacks *) let jump node = -(* - print_string ("jump: " ^ s ^ "\n") ; - flush stdout -*) () + let module M = Minidom in + print_string ("jump: " ^ + (match + M.node_get_attribute_ns node + (M.mDOMString_of_string "xlink") + (M.mDOMString_of_string "href") + with + None -> "DOES NOT WORKS (if you have clicked on the hyperlink)!!!!!" + | Some s -> M.string_of_mDOMString s + ) ^ "\n"); + print_string ("jump: " ^ + (match + M.node_get_attribute node + (M.mDOMString_of_string "href") + with + None -> "DOES NOT WORKS (if you have clicked on the hyperlink)!!!!!" + | Some s -> M.string_of_mDOMString s + ) ^ "\n"); + flush stdout ;; let selection_changed node = -(* - print_string ("jump: " ^ s ^ "\n") ; - flush stdout -*) () + let module M = Minidom in + print_string ("selection_changed: " ^ + (match + M.node_get_name node + with + None -> "selection_changed on nothing (???)" + | Some s -> "selection changed on " ^ M.string_of_mDOMString s + ) ^ "\n"); + flush stdout ;; + let clicked node = -(* - print_string "clicked: IT WORKS\n" ; - flush stdout -*) () + let module M = Minidom in + print_string ("clicked: " ^ + (match + M.node_get_name node + with + None -> "Nothing clicked (???)" + | Some s -> M.string_of_mDOMString s ^ " clicked" + ) ^ "\n"); + flush stdout ;; + let activate_t1 mathview sw () = sw#remove !mathview#coerce ; mathview :=