shell: End grab if the grabbed shell surface has been destroyed
authorRob Bradford <rob@linux.intel.com>
Mon, 20 May 2013 11:09:20 +0000 (12:09 +0100)
committerKristian Høgsberg <krh@bitplanet.net>
Mon, 20 May 2013 20:53:49 +0000 (16:53 -0400)
commit2f8d9aacfa940af2c9424224c90ac2b77b0a4f58
treed7db88a1492d526c9da26871e481dba0884f4d54
parent419e2bae92a89eb1f69fb127078f974965214bc2
shell: End grab if the grabbed shell surface has been destroyed

The shell_grab_start function sets up a destroy notification on the
shell surface such that when the shell surface is destroyed the pointer
on the grab to the shell surface is set to NULL.

We must therefore check whether the shell surface is NULL and end the
grab if it is.

https://bugs.freedesktop.org/show_bug.cgi?id=64689
src/shell.c