Settings dialog broken: Error: Type name ShortcutsPrefsWidget is already registered
When opening the settings dialog in v1.2.1, the extension crashes:
Error: Type name ShortcutsPrefsWidget is already registered
Stack trace:
_construct@resource:///org/gnome/gjs/modules/script/_legacy.js:536:31
wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
newClass@resource:///org/gnome/gjs/modules/script/_legacy.js:115:21
@/usr/share/gnome-shell/extensions/Shortcuts@kyle.aims.ac.za/prefs.js:62:30
_init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:206:33
OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28
asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
run@resource:///org/gnome/gjs/modules/script/package.js:206:19
start@resource:///org/gnome/gjs/modules/script/package.js:190:8
@/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17
Original bug report: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996935