godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-05 12:10:55 +00:00
Code Releases Wiki Activity
Files
ebf19d72b5d197ecba031b62d109dd68800c76f3
godot/editor/plugins/script_editor_plugin.cpp
Rémi Verschelde ebf19d72b5 Merge pull request #9878 from toger5/theme_border_settings_change 
Theme border settings change + updating styles
2017-08-07 14:07:57 +02:00

77 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink