code: def save_as(self):
          
          editorstack = self.get_current_editorstack()
          if editorstack.save_as():
              fname = editorstack.get_current_filename()
              self.__add_recent_file(fname)
docs: Save *as* the currently edited file