method private _cb__save = fun () -> match filename with | None -> self#_cb__save_as () | Some name -> self#save name