pculture/miro — pull request #128 by geoffl (2011-12-27 15:25:43+00:00)
Title: bz18285: Re-add the call to self.overlay.destroy().

It is needed because this is a signal emitter not a widget, so calling
destroy() is okay. In addition the destroy() actually closes the window
which was the source of the regression.

Paul can you give it a spin and let me know how it goes for you?