godot/editor/plugins/script_text_editor.cpp at 5e837b3f13ab1e3b31bb8d705e87820fa4eff21e - godot - GitHouse

godotengine/godot

mirror of https://github.com/godotengine/godot.git synced 2025-11-22 15:06:45 +00:00

Files

Gilles Roudière 5f981d7fef Displays errors and warnings in a better way in the script editor

2019-02-01 17:20:59 +01:00

57 KiB

Raw Blame History

View Raw