Alternative to restarting shell on wayland

[Norman L Smith]

I made a post to the gnome shell list that may be of interest to folks
on this list.

http://tinyurl.com/jfcb25r

Norman