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