nick/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2026-04-28 22:22:03 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
bdb5282ea0da6d96baa5da0797a4367e15967182
godot/editor/plugins/script_text_editor.cpp
Rémi Verschelde 3f23b2ecf4 Merge pull request #23017 from Calinou/increase-source-font-line-spacing 
Increase the source font's line spacing
2018-10-25 17:31:24 +02:00

57 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink