small bug report

In backend_wx.py, function Copy_To_Clipboard. A call to

wx.TheClipboard.Flush()

should follow wx.TheClipboard.Close().

If not, the data put on the clipboard does not persist after the wx
application is closed.

···

--
Daniel Hyams
dhyams@...149...