godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-09 12:50:35 +00:00
Code Releases Wiki Activity
Files
6e8f0cfdc6ed71b51a882ca910a7efea1600b3c9
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde c5da418b0b Merge pull request #22698 from Calinou/fix-find-files-hidpi 
Fix Find in Files font size on hiDPI displays
2018-10-07 11:43:39 +02:00

102 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink