method has_focus = let b = source_view#misc#get_flag `HAS_FOCUS in (* if b then prerr_endline (Printf.sprintf "view %d: I have the focus!" (Oo.id self)); *) b