~default:BuildTimeConf.default_font_size "matita.font_size"
in
let source_buffer = source_view#source_buffer in
-(* let _ =
- source_view#event#connect#selection_clear (fun _ ->
- prerr_endline "source_view: selection clear";
- false)
- in *)
object (self)
val mutable chosen_file = None
val mutable _ok_not_exists = false