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