nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-03-10 21:06:13 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
e647342140d8eb960b2a72d83b4b86e43aef4fc7
godot/editor/plugins/text_editor.cpp
Hugo Locurcio 976b3e3284 Increase the source font's line spacing 
This also increases line spacing in license texts in the editor's
About dialog.
2018-10-14 21:39:49 +02:00

23 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink