method save_as () = match GToolbox.select_file ~title: "Open file" ~dir () with None -> () | Some f -> filename <- Some f; wlabel#set_text (Filename.basename f); self#save ()