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