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