{ "font_face": "Menlo", "font_size": 15, "highlight_line": true, "highlight_modified_tabs": true, "remember_open_files": true, "open_files_in_new_window": false, "bold_folder_labels": true}
