godot/editor/plugins/script_editor_plugin.cpp at f4e34ac353b736708934abc3bf697fc45e53bbbb - godot - Gitea: Git with a cup of tea

nick/godot

mirror of https://github.com/godotengine/godot.git synced 2026-02-09 04:09:02 +00:00

Files

Paulb23 4d7df24d46 Add main_gutter (breakpoints, bookmarks, execution lines) to code_edit

2020-09-10 20:35:28 +01:00

116 KiB

Raw Blame History

View Raw