On Thu, Apr 3, 2014 at 7:29 PM, Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> wrote: > On Thu, Apr 03, 2014 at 08:18:24PM +0300, alex diavatis wrote: >> > https://extensions.gnome.org/extension/797/extension-update-notifier/ >> Pretty cool, it works here. It is so cool that it should be included in >> Shell by default :) > > Awesome. I've installed it and will back a few of my extensions Note: You don't have to really downgrade you could just downgrade the version in the metadata.json files. (~/.local/share/gnome-shell/extensions/*/metadata.json) -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
