editors/__init__.py
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 13 Jul 2019 10:57:25 +0200
changeset 2624 570cf07c3fd1
parent 814 5743cbdff669
permissions -rw-r--r--
Fix exception on exit in some case, sequel of an earlier cleanup commit I couldn't find back. Disconnecting the event is apparently the way to go. https://wiki.wxpython.org/Surviving%20with%20wxEVT%20KILL%20FOCUS%20under%20Microsoft%20Windows