{
	"font_size": 13,
	"show_definitions": false,
	"auto_complete": false,
	"bold_folder_labels": true,
	"fold_buttons": false,
	"highlight_line": true,
	"line_padding_top": 2,
	"line_padding_bottom": 2,
	"margin": 2,
	"tab_size": 2,
	"word_wrap": true,
}