void gl_window::destroy() now sends the window's destroy message