Normally, in debian, I go to https://extensions.gnome.org/, and install “GNOME Shell integration” browser extension and install the needed extensions. But, in Fedora 38, even after installing the “GNOME Shell integration” browser extension, the extensions ON/OFF toggle button was disabled, as shown below:
I was confused as I’ve never seen this in Debian ( probably as extension support was enabled by default - afaik ). I then checked to see if extension support was enabled, by opening the “GNOME Extensions” app. It was not installed. I then installed it with
# dnf install gnome-extensions-app.x86_64
Opening the Extensions app confirmed that the extension support was disabled:
When the extensions support is disabled in GNOME Shell, there should be a message in the extension browser page indicating this, and point to a link with steps needed to get it enabled.
Yeah, I just noticed it a while ago when trying to find my installed extensions, after the fix suggested in the original post. But, I very rarely access the “Installed extensions” Tab. Mostly, I just search for an extension and install it.
Also, I think “Shell settings” should not be in “Installed extensions” Tab. Perhaps there could be in a separate “Settings” Tab.
A better fix would be, to automatically display a info bar in the browser, asking whether the user wants to enable “Shell extensions”, similar to how the there is a prompt for installing the “GNOME Shell integration” browser extension, when https://extensions.gnome.org/ is accessed.
