diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-26 10:51:21 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2024-08-26 10:51:21 +0200 |
| commit | 04f6321ecc2d24d08cb3368d87f483c6cc308105 (patch) | |
| tree | 1e0e2cc33ec9942eff2648a23b79eec92ee5f4fa /editor/editor_file_system.cpp | |
| parent | b4f268fae891be7afb6ab04eb9405d48e3c20782 (diff) | |
| parent | 4dd6e8eca500f18344a57daa74ce3459931531fe (diff) | |
| download | redot-engine-04f6321ecc2d24d08cb3368d87f483c6cc308105.tar.gz | |
Merge pull request #91166 from raulsntos/gdextension/loader
GDExtension: Implement `GDExtensionLoader` concept
Diffstat (limited to 'editor/editor_file_system.cpp')
| -rw-r--r-- | editor/editor_file_system.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editor/editor_file_system.cpp b/editor/editor_file_system.cpp index f75e438582..4d5749d949 100644 --- a/editor/editor_file_system.cpp +++ b/editor/editor_file_system.cpp @@ -2955,7 +2955,10 @@ bool EditorFileSystem::_scan_extensions() { Vector<String> loaded_extensions = GDExtensionManager::get_singleton()->get_loaded_extensions(); for (int i = 0; i < loaded_extensions.size(); i++) { if (!extensions.has(loaded_extensions[i])) { - extensions_removed.push_back(loaded_extensions[i]); + // The extension may not have a .gdextension file. + if (!FileAccess::exists(loaded_extensions[i])) { + extensions_removed.push_back(loaded_extensions[i]); + } } } |