tweaking some index workers and padding

This commit is contained in:
Brian 2022-07-19 13:33:50 -06:00
parent 4f6935a8a3
commit 2f396e54ac
Signed by: brian
GPG Key ID: DE1A5390A3B84CD8

View File

@ -5,6 +5,7 @@
"color_scheme": "Packages/Material Theme/schemes/Material-Theme.tmTheme",
"control_character_style": "names",
"copy_with_empty_selection": false,
"default_line_ending": "unix",
"fallback_encoding": "UTF-8",
"folder_exclude_patterns":
[
@ -24,13 +25,16 @@
[
"dlig"
],
"font_size": 9,
"git_diff_target": "head",
"hardware_acceleration": "opengl",
"highlight_modified_tabs": true,
"ignored_packages":
[
"Vintage",
],
"line_padding_bottom": 2,
"index_workers": 4,
"line_padding_bottom": 3,
"line_padding_top": 2,
"material_theme_accent_cyan": true,
"material_theme_bold_tab": true,
@ -40,5 +44,4 @@
"show_line_endings": true,
"theme": "Material-Theme.sublime-theme",
"translate_tabs_to_spaces": true,
"font_size": 9,
}