godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-21 14:57:09 +00:00
Code Releases Wiki Activity
Files
e979e50b7d83a90c39c206783b15c1ff3a43fb0d
godot/editor/editor_themes.cpp
Rémi Verschelde df11de72c9 Merge pull request #10932 from djrm/pr_fix_metrics 
Fixed some metrics (some issues caused by the new Noto Sans font).
2017-09-04 08:10:04 +02:00

37 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink