search for: x11_close

...een freed. This (side?) effect is used in X11_Locator to detect the closing of the current device which _must_ lead to an error. -- the if statement to handle events of type DestroyEvent is added to handleEvent -- when the user closes the device (dev.off()), the window is destroyed in X11_Close -- when the user pushes the close button in the window frame, the window is destroyed in handleEvent and X11_Close is initiated (the WM_DELETE_WINDOW mechanism already in place.) -- when the window is destroyed for another reason (e.g. the parent being destroyed), it is not destroyed again...