Osman Alperen Elhan
Osman Alperen Elhan
Unpinned tabs also stay separated from their categories. 
Maybe Category URL mappings can be crowdsourced by the users like [SponsorBlock](https://github.com/ajayyy/SponsorBlock)'s ad segments.
I don't have any gnome 3.28 setup for development right now. I will try to look into it this weekend. Pull requests are welcome too :)
dconf types are different now. If you put those values it shouldn't work. The extension is not updated on extension.gnome.org yet. How did you install it? Can you provide the...
I have installed it using ansible and works fine.
I tried to add support for gnome 3.28 to new version but it has too many problems. So I have updated the code in [old_version](https://github.com/oae/gnome-shell-minimize-to-tray/tree/old_version) branch. Can you try it...
I will look into it.
Thank you for the suggestion. I will look into it.
As I checked, gnome-shell clipboard API doesn't expose the owner of the clipboard. Only relying on the focused window can be inconsistent. So I will not be implementing this feature.
The first idea sounds good. I can add a shortcut that navigates each item in history. But I am not sure what would be a good solution for showing the...