# File lib/json/editor.rb, line 1219
      def file_save_as
        filename = select_file('Save as a JSON file')
        store_file(filename)
      end