Closed audreytoskin closed 7 years ago
Sure, it has been a long overdue I am always postponing. :-( If you can push a merge request with some changes, I would happily review and accept it.
Thank you! :-)
the credits section provides a link for the original TopIcons extension, but the URL no longer works. It's an IP address rather than a domain name. It responds to ping, but does not respond to my web browser at all, not even a 404 or 501 or whatever.
...Is there an alternate domain we could use?
No, the original author has not given any sign of life for years. I could never contact him. That is actually the main reason of my fork. So let's just remove the URL.
Okay, done.
Two more points:
Great :-)
Thank you @terrycloth !
The README could use some updating.
For example, it offers a long list of shell commands that I think is unnecessary, since you have a Makefile.
Also, I think the note about disabling the GNOME Shell version compatibility check in gsettings might be obsolete. Shell version compatibility checks are disabled by default as of GNOME 3.22 (this link actually appears in the gsettings paragraph). And
metadata.json
explicitly states compatibility with all versions of GNOME as far back as 3.16. So it seems to me that keeping the compatibility check is a good thing for even older versions of GNOME, and disabling the check is unnecessary for newer versions... Unless TopIcons Plus would actually work with versions of GNOME before 3.16.If you agree, I can take care of these rewrites for you, if you like.