{
	"font_face": "Menlo Regular",
	"font_size": 12,
	"scroll_past_end": false,
	"find_selected_text": false,
	"move_to_limit_on_up_down": true,
	"close_windows_when_empty": true,
	"show_full_path": false
}
