Site News

Introducing TopIcons Redux

Yesterday, we finally released the first truly stable version of our first GNOME Shell extension, TopIcons Redux. TopIcons Redux was written by request due to compatibility and/or flexibility issues with similar extensions, and was a significant learning experience for us. Hopefully, we’ll have reason to write further extensions in the future. If you have any suggestions, feel free to ask!

This is cool, thank you. I have an issue though where they sometimes disappear (or some of the icons will anyway) is this known issue?
    What does your environment look like? Are you running Pop in its default configuration?
      hey, sorry I don't know if I got notified of a reply. I just done a fresh install of pop 18.04 actually and the icons don't show at all. Is there a trick I'm missing?
B