# 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