diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-07-27 09:01:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-27 09:01:41 +0200 |
| commit | 4c0ded6dcc81f5c551d18c7d42c34230f07b359d (patch) | |
| tree | aa816709456fe5f0be383f97715c23bd267c3708 /scene/gui | |
| parent | b5b8f52d4f96e019ed85174e117b766dcb703083 (diff) | |
| parent | f8a2cb3e15a4fec3ce4929db36f73ca1cb8309f8 (diff) | |
Merge pull request #20497 from Calinou/textedit-hidpi-line-spacing
Multiply TextEdit line spacing by the editor scale
Diffstat (limited to 'scene/gui')
| -rw-r--r-- | scene/gui/text_edit.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scene/gui/text_edit.cpp b/scene/gui/text_edit.cpp index 8926c1ec00..fa82c048ba 100644 --- a/scene/gui/text_edit.cpp +++ b/scene/gui/text_edit.cpp @@ -4328,7 +4328,11 @@ void TextEdit::_update_caches() { cache.search_result_border_color = get_color("search_result_border_color"); cache.symbol_color = get_color("symbol_color"); cache.background_color = get_color("background_color"); +#ifdef TOOLS_ENABLED + cache.line_spacing = get_constant("line_spacing") * EDSCALE; +#else cache.line_spacing = get_constant("line_spacing"); +#endif cache.row_height = cache.font->get_height() + cache.line_spacing; cache.tab_icon = get_icon("tab"); cache.folded_icon = get_icon("GuiTreeArrowRight", "EditorIcons"); |