Re: Alternative to restarting shell on wayland

[Mario Wenzel <maweki gmail com>]

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