Hi, apparently there will be/is functionality in the gnome-extension-tool to reload extensions. I have yet to try that.
https://bugzilla.gnome.org/show_bug.cgi?id=772593 Am Freitag, den 28.10.2016, 23:51 +0300 schrieb Yotam Bar-On: > > Hi all,I develop some extensions, and started using the Wayland impl now with 3.22. > > > I noticed I can't restart the shell anymore (saw the commit + bugzilla issue). While developing extensions I acquired the habit of alt+f2->r all the time, similar to alt-tab->f5 for web devel. ^_^ > > > Now with the "no restart" thing, it there a simple way to reload extensions? > > I tried enable/disable the extension, but it does not seem to work (and never worked, not on x11 either, IIRC). > > > Thanks! > > > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
