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