`GNOME Shell integration` and `User Themes` — available on Opera?

[jayaguru-shishya]

jayaguru-shishya last edited by

Greetings!

I'd need to install GNOME Shell integration (available for Chrome at least: https://chrome.google.com/webstore/search/gnome shell integration) and User Themes (https://extensions.gnome.org/extension/19/user-themes/), but it seems that this those aren't available to Opera — by default at least.

Having run Chromium before, there were no problems installing various GNOME extension via the browser. With Opera, however, it seems I've crashed into a brick wall.

The extensions I'd like to install are many. Dash to Dock, Hide Activities Button, No Topleft Hot Corner, Frippery Move Clock, Impatience, Topicons Redux, KStatusNotifierItem/AppIndicator Support, Pixel Saver, Sound percentage, just to name a few.

However, none of this is possible without GNOME Shell integration or User Themes, something that doesn't seem to be supporter by Opera, though. So what are my shots? My only chance is to switch to another browser, like Chromium?

I don't think so, and I hope you guys can help me out on that!

Cheers!

[leocg]

leocg Moderator Volunteer @jayaguru-shishya last edited by

@jayaguru-shishya You can install Chrome extensions in Opera, although not all of them will work.

[jayaguru-shishya]

jayaguru-shishya @leocg last edited by

@leocg thanks for your prompt reply!

Yeah, but I'm afraid GNOME Shell integration is one of them...