godot/editor/plugins/script_editor_plugin.cpp at f56d0ad92f0bc094b854a6e127dbd2aed7a23b51 - godot - GitHouse

godotengine/godot

mirror of https://github.com/godotengine/godot.git synced 2025-12-03 16:55:53 +00:00

Files

Andreas Haas 1cfc43421e ScriptEditor: Use EditorSettings instead of hardcoded values in constructor.

2018-03-01 21:45:24 +01:00

90 KiB

Raw Blame History

View Raw