godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-18 14:21:41 +00:00
Code Releases Wiki Activity
Files
7063878243b55f211dc80bf09af400de191b4b9e
godot/editor/plugins/script_editor_plugin.cpp
Hugo Locurcio 7063878243 Fix Find in Files font size on hiDPI displays 
This closes #22692.
2018-10-05 21:37:26 +02:00

102 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink