method save_as () = match GToolbox.select_file param#s_save () with None -> () | Some f -> file <- Some f; param#main#set_title (param#window_title_prefix^": "^f); self#save_to_file f