Anna, Carlos, et al.:
Found the solution; perhaps this will help others in the future.
Add these lines to wxgui.py:
import wxversion
wxversion.select('3.0.2.0')
just above the line
import wx
That's the only place needed. I suspect that wxgui.py is not changed that
often so this is easy to maintain.
Rich