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

godotengine/godot

mirror of https://github.com/godotengine/godot.git synced 2025-12-04 17:04:49 +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