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