# 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