I want to add custom settings to the project settings of my GDExtension's editor. Is it possible, and how can I do it?
I have researched it and found that I need to get the singleton of EditorPlugin, then call get_editor_interface() and finally get_editor_settings() to access its methods set_setting() or add the corresponding property. However, none of these methods are static.
