PR
#4612 fixes bugs relating to cut/copy/paste from menus.
This is a significant PR in terms of Leo's codebase. Several methods collapsed in complexity. Most importantly, the new LeoGui/LeoQtGui.create_wrapper_for_widget methods put Leo's code on a firmer foundation. Full details in the PR.
I merged the PR without reviews for several reasons:
1. The PR fixes several significant bugs.
2. Leo's existing unit tests can't easily cover the changes, so more real-world testing is required.
3. The changes to Leo's code base are subtle: there is little chance somebody could improve the code merely by reading it.
Summary
Nothing would be gained by delaying the PR. The new code passes all my by-hand tests, and I have been happily eating my own dog food.
Nevertheless,
please treat the devel branch as potentially more unstable than usual. Let the testing begin!
Edward