FYI There’s an active fork that supports Gnome 45.
Ah good. I couldn’t find any. But still, I’m wondering how to port extensions. I’ve got more, even some self-made.
I would suggest looking at the GNOME developer guide.
deleted by creator
What’s the use case of this extension? It might be too confusing for the users.
to scroll on the top panel to change volume, is the use case of course. I put the github link for reference.
I think only problem lies with the last line. Importing Volume is done differently now.
Do I miss something? I already can do that in the latest fedora natively.
that’s neat. Can it also do this, natively? https://extensions.gnome.org/extension/6015/panelhideswindow/
No, the extension is needed for this
Ah I see now way you wanted the first extension. Natively you have to scroll on the right part of the panel around the volume icon to change the volume. Not in the middle of the panel
yeah okay so that’s the same on GNOME on every distro. The icon is too small so it takes too long to get the mouse just right just to change the volume a bit.
You don’t have to be exactly on the icon iirc, just on the right most component of the panel.