From 7f6369b1aa126fec9e3bfc11f43fd8b6b54b74bc Mon Sep 17 00:00:00 2001 From: abose Date: Fri, 22 Nov 2024 20:29:30 +0530 Subject: [PATCH 1/4] feat: editor lineheight adjust in theme settings --- src/htmlContent/themes-settings.html | 15 +++++++++ src/nls/root/strings.js | 2 ++ src/styles/brackets.less | 16 ++++++++- src/styles/brackets_core_ui_variables.css | 39 ---------------------- src/styles/brackets_core_ui_variables.less | 16 ++++++--- src/styles/brackets_theme_default.less | 2 +- src/styles/brackets_variables.less | 1 + src/view/ThemeSettings.js | 19 ++++++++++- 8 files changed, 63 insertions(+), 47 deletions(-) delete mode 100644 src/styles/brackets_core_ui_variables.css diff --git a/src/htmlContent/themes-settings.html b/src/htmlContent/themes-settings.html index 204f8acb14..997e32b51a 100644 --- a/src/htmlContent/themes-settings.html +++ b/src/htmlContent/themes-settings.html @@ -41,6 +41,21 @@

{{Strings.THEMES_SETTINGS}}

+ +
+ +
+ + {{settings.editorLineHeight}} +
+