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

godotengine/godot

mirror of https://github.com/godotengine/godot.git synced 2025-11-29 16:16:38 +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