diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-16 16:36:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-16 16:36:10 +0100 |
| commit | d191ffe647b5074bd939f6289957f1610159a31d (patch) | |
| tree | 4c2e23b004ea19353f38341a4172dad300f20ad4 /editor/editor_themes.cpp | |
| parent | efe3eaf6a4439189ad14d788e035ec8059853ece (diff) | |
| parent | c1a65e52896ae060881bba929dd4a7ff824139b9 (diff) | |
Merge pull request #43479 from Calinou/use-low-editor-scale-auto
Use 75% editor scale on small displays automatically
Diffstat (limited to 'editor/editor_themes.cpp')
| -rw-r--r-- | editor/editor_themes.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editor/editor_themes.cpp b/editor/editor_themes.cpp index 79525ced51..768e5bccbc 100644 --- a/editor/editor_themes.cpp +++ b/editor/editor_themes.cpp @@ -441,7 +441,8 @@ Ref<Theme> create_editor_theme(const Ref<Theme> p_theme) { // Highlighted tabs and border width Color tab_color = highlight_tabs ? base_color.lerp(font_color, contrast) : base_color; - const int border_width = CLAMP(border_size, 0, 3) * EDSCALE; + // Ensure borders are visible when using an editor scale below 100%. + const int border_width = CLAMP(border_size, 0, 3) * MAX(1, EDSCALE); const int default_margin_size = 4; const int margin_size_extra = default_margin_size + CLAMP(border_size, 0, 3); |