Add some redraw()s when we detach opengl window from GUI, to avoid MacOS Lion bug which left them un-refreshed.