`GNOME Shell integration` and `User Themes` — available on Opera?
jayaguru-shishya last edited by
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,
Sound percentage, just to name a few.
However, none of this is possible without
GNOME Shell integrationor
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!