On 05/24/2017 11:30 AM, Marius Gedminas wrote: > On Tue, May 23, 2017 at 11:24:01AM -0400, SDA wrote: >> On Mon, May 22, 2017 at 02:54:17PM -0400, Paul Smith wrote: >>> Some of those are slightly useful. However, here are the couple of >>> shell extensions I always install and could not live without:
While on the subject of extensions, please endorse getting this fixed https://bugzilla.gnome.org/show_bug.cgi?id=724076 Thanks -- Ubuntu-GNOME mailing list Ubuntu-GNOME@lists.ubuntu.com Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
