method clear = fun () -> db <- SQL_db.create_empty (); self#_update_display; filename <- None; saved <- true; self#_update_display