godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-13 13:31:48 +00:00
Code Releases Wiki Activity

Merge pull request #23924 from Kanabenki/font-size-update

Browse Source 
Display font size with zoom in code editor and refresh on settings change
This commit is contained in:
Rémi Verschelde
2018-11-28 10:39:56 +01:00
committed by GitHub
parent 6612d2cb2b 9dc15bae7c
commit aa08ef2bed
2 changed files with 23 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/code_editor.h
View File

@@ -148,7 +148,7 @@ class CodeTextEditor : public VBoxContainer {
Label *line_nb;
Label *col_nb;
Label *zoom_nb;
Label *font_size_nb;
Label *info;
Timer *idle;
Timer *code_complete_timer;