1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-04 12:00:25 +00:00

Merge pull request #91166 from raulsntos/gdextension/loader

GDExtension: Implement `GDExtensionLoader` concept
This commit is contained in:
Rémi Verschelde
2024-08-26 10:51:21 +02:00
9 changed files with 584 additions and 347 deletions

View File

@@ -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]);
}
}
}