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 ()