Hi,
Alt->F2 + r does not restart gnome-shell any more.
I am developing gnome-shell extension
How to reload gnome-shell extension with new code?
Enable-disable extension do pick up new settings, but not new code.
Only way I found to reload gnome extension code - logout/login from gnome
altogether. That is EXTREMELY intrusive.
Any suggestions how to reload extension code?
Thank you
Sergey
_______________________________________________
gnome-shell-list mailing list
gnome-shell-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-shell-list

Reply via email to