[Extensions] Prefs can't contain objects with the same name
With gnome-shell-extension-prefs
, 2 totally distinct extensions can't register their classes with the same name.
Example if i open the prefs of "Notes" and then prefs of "Emoji Selector":
Error: Type name Gjs_PrefsPage is already registered
Stack trace:
defineGObjectLegacyObjects/GObjectMeta<._construct@resource:///org/gnome/gjs/modules/_legacy.js:531:28
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
Class.prototype._construct/newClass@resource:///org/gnome/gjs/modules/_legacy.js:114:32
Class@resource:///org/gnome/gjs/modules/_legacy.js:65:30
@/home/roschan/.local/share/gnome-shell/extensions/emoji-selector@maestroschan.fr/prefs.js:26:19
_getExtensionPrefsModule@resource:///org/gnome/shell/extensionPrefs/main.js:75:13
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
_selectExtension@resource:///org/gnome/shell/extensionPrefs/main.js:90:31
wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22
_extensionFound/<@resource:///org/gnome/shell/extensionPrefs/main.js:206:13
main@resource:///org/gnome/shell/extensionPrefs/main.js:397:5
@<main>:1:43
Of course these 2 extensions are from me, so i can rename the classes myself, but what a waste of time since they are exactly identical. Also i can't be sure no one use the same names as me