method save_and_close () =
      self#save () ;
      self#close ()