godot/editor/code_editor.cpp at aae6c075aa500abdb9c72fea9bbb85cb4e735e65 - godot - Gitea: Git with a cup of tea

nick/godot

mirror of https://github.com/godotengine/godot.git synced 2026-03-10 21:06:13 +00:00

Files

unknown a86329c41e Fixed search highlight when search text not found or empty

2019-06-27 22:44:14 +05:30

50 KiB

Raw Blame History

View Raw