Merge pull request #20497 from Calinou/textedit-hidpi-line-spacing

Multiply TextEdit line spacing by the editor scale
This commit is contained in:
Rémi Verschelde 2018-07-27 09:01:41 +02:00 committed by GitHub
commit 4c0ded6dcc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4328,7 +4328,11 @@ void TextEdit::_update_caches() {
cache.search_result_border_color = get_color("search_result_border_color"); cache.search_result_border_color = get_color("search_result_border_color");
cache.symbol_color = get_color("symbol_color"); cache.symbol_color = get_color("symbol_color");
cache.background_color = get_color("background_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"); cache.line_spacing = get_constant("line_spacing");
#endif
cache.row_height = cache.font->get_height() + cache.line_spacing; cache.row_height = cache.font->get_height() + cache.line_spacing;
cache.tab_icon = get_icon("tab"); cache.tab_icon = get_icon("tab");
cache.folded_icon = get_icon("GuiTreeArrowRight", "EditorIcons"); cache.folded_icon = get_icon("GuiTreeArrowRight", "EditorIcons");