diff options
| author | Jakub Grzesik | 2017-09-02 16:17:59 +0200 |
|---|---|---|
| committer | Jakub Grzesik | 2017-09-02 16:17:59 +0200 |
| commit | 0ecdd9653fbee296666ab80b9cdb11149505ebe1 (patch) | |
| tree | bb2f459a7c81d6f319bb48e124feb39bb20cf047 /editor/plugins/script_text_editor.cpp | |
| parent | dac150108ab3c1f41d5fd86cc6853f883064caaf (diff) | |
| download | godot-0ecdd9653fbee296666ab80b9cdb11149505ebe1.tar.gz godot-0ecdd9653fbee296666ab80b9cdb11149505ebe1.tar.zst godot-0ecdd9653fbee296666ab80b9cdb11149505ebe1.zip | |
Improve 'quick open' search time
Diffstat (limited to 'editor/plugins/script_text_editor.cpp')
0 files changed, 0 insertions, 0 deletions