On Fri, 2014-03-28 at 12:19 -0400, Hashem Nasarat wrote: > Thanks for the suggestion! > There's an extension you can use that will do just this (or something > close enough): > https://extensions.gnome.org/extension/302/windowoverlay-icons/
Nice, thanks for pointing that out - it is a nice addition. And, as usual, installed effortlessly. Great work. > I seem to remember there was a discussion about this issue on > https://bugzilla.gnome.org/browse.cgi?product=gnome-shell > but I can't find the particular bug right now... maybe someone else can > help. -- Adam Tauno Williams <mailto:awill...@whitemice.org> GPG D95ED383 Systems Administrator, Python Developer, LPI / NCLA _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
