On Tue, 2018-06-19 at 05:45 +0000, notify@aur.archlinux.org wrote:
buzo [1] filed a deletion request for gnome-shell-extension-topicons- plus [2]:
This extension is dead. (See upstream URL)
Upstream is not dead, merely unmaintained. To quote the author:
However, I see a lot of people worrying or talking of TopIcons-Plus as a dead thing that needs instant replacement.
The code is here, rather clean, and it is going to work for a while. I may also make one or two releases if/when it is really necessary. Just don't expect new features or great bug hunting.
Somehow, that has always been the point of TopIcons-Plus: filling the gap between nothing and long term solutions which will require code changes in many applications (AppIndicator or, better in my opinion, following the Gnome design with a daemon and notifications).
(issue #91) The extension still has merit, and is still working. Why remove it while it does? Regards, Bert Peters