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