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