From 2f396e54ac63c0346e7bae4642f2a8586dc51223 Mon Sep 17 00:00:00 2001 From: Brian Rogers Date: Tue, 19 Jul 2022 13:33:50 -0600 Subject: [PATCH] tweaking some index workers and padding --- Packages/User/Preferences.sublime-settings | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/Packages/User/Preferences.sublime-settings b/Packages/User/Preferences.sublime-settings index 36b387b..142abe4 100644 --- a/Packages/User/Preferences.sublime-settings +++ b/Packages/User/Preferences.sublime-settings @@ -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, }