mirror/godot
2
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2024-11-27 09:16:35 +08:00
Code Issues Packages Projects Releases Wiki Activity

Multiply TextEdit line spacing by the editor scale

Browse Source 
This makes sure the default line spacing in the script editor
is consistent with the editor scale in use.
This commit is contained in:
Hugo Locurcio 2018-07-26 23:50:16 +02:00
parent 03e11c13bf
commit f8a2cb3e15
No known key found for this signature in database
GPG Key ID: 39E8F8BE30B0A49C
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
scene/gui/text_edit.cpp
View File

@ -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");