[aur-requests] [PRQ#11850] Deletion Request for gnome-shell-extension-topicons-plus

[Bert Peters]

On Tue, 2018-06-19 at 05:45 +0000, notify at 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