GDExtension: Use loader to check if the library exists.

2024-07-14 09:21:31 +02:00
parent 1fc8208765
commit 8a41b1d90f
4 changed files with 8 additions and 1 deletions
--- a/core/extension/gdextension_loader.h
+++ b/core/extension/gdextension_loader.h
@ -42,6 +42,7 @@ public:
 	virtual void close_library() = 0;
 	virtual bool is_library_open() const = 0;
 	virtual bool has_library_changed() const = 0;
+	virtual bool library_exists() const = 0;
 };

 #endif // GDEXTENSION_LOADER_H