ignore
(self#connect#select_over
(fun _ state ->
- Printf.printf "stable selections: %d\n" (List.length selected) ;
- Printf.printf "select_over with state: " ;
let c =
function
`SHIFT -> "shift "
ignore
(self#connect#select_end
(fun _ state ->
- Printf.printf "select_end\n" ; flush stdout ;
if not (List.mem `CONTROL (Gdk.Convert.modifier state)) then
self#remove_selections ;
match root_selected with