From: Stefano Zacchiroli Date: Mon, 13 Jun 2005 14:19:24 +0000 (+0000) Subject: moved the annoying debugging print to test X-Git-Tag: PRE_STORAGE~50 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=95b2ac31867d267091412dbbc0aa6f0fe35a0977;p=helm.git moved the annoying debugging print to test --- diff --git a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml index c50e7fb9d..8880ee06c 100644 --- a/helm/DEVEL/lablgtkmathview/gMathViewAux.ml +++ b/helm/DEVEL/lablgtkmathview/gMathViewAux.ml @@ -255,21 +255,6 @@ class multi_selection_math_view obj = if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then self#remove_selections)) ; - ignore - (self#connect#select_over - (fun (_,_,_,state) -> - let c = - function - `SHIFT -> "shift " - | `LOCK -> "lock " - | `CONTROL -> "control " - | `MOD1 -> "mod1 " - | _ -> "" - in - List.iter (fun x -> print_string (c x)) (Gdk.Convert.modifier state) ; - print_char '\n' ; - flush stdout)) ; - ignore (self#connect#select_end (fun (_,_,_,state) -> diff --git a/helm/DEVEL/lablgtkmathview/test/test.ml b/helm/DEVEL/lablgtkmathview/test/test.ml index 6a54c3463..14e14bf7a 100644 --- a/helm/DEVEL/lablgtkmathview/test/test.ml +++ b/helm/DEVEL/lablgtkmathview/test/test.ml @@ -221,6 +221,20 @@ let test_reset_selections (mathview : GMathViewAux.multi_selection_math_view) () mathview#set_selection None ; mathview#remove_selections +let select_over (mathview : GMathViewAux.multi_selection_math_view) = + (fun (_,_,_,state) -> + let c = + function + `SHIFT -> "shift " + | `LOCK -> "lock " + | `CONTROL -> "control " + | `MOD1 -> "mod1 " + | _ -> "nomod " + in + List.iter (fun x -> print_string (c x)) (Gdk.Convert.modifier state) ; + print_char '\n' ; + flush stdout) + let unload mathview () = mathview#unload ; print_string "unload: SEEMS TO WORK\n" ; @@ -357,6 +371,8 @@ ignore(button_get_log_verbosity#connect#clicked (get_log_verbosity mathview)) ; ignore(mathview#connect#click (click mathview)) ; ignore(mathview#connect#selection_changed (selection_changed mathview)); ignore(mathview#connect#element_over (element_over mathview)) ; +ignore(self#connect#select_over (select_over mathview)); + ignore(button_load_dom#connect#clicked (load_doc mathview)) ; (* ignore(button_get_element_at#connect#clicked (get_element_at mathview)) ; *) (* Main Loop *)