I updated the draft in the branch directly (same file).
Wed, Apr 14
Unassign myself because we removed the clipping plane from the release and have not discussed yet how to further proceed.
The first user feedback of the patch above was positive, the users liked the behavior.
However, the patch did not work correctly in terms of modifying the points afterwards (users were warned before).
@kislinsk thanks for taking over. The WIP stuff I put on github still could be useful, see comment above. let me know if I can help.
Tue, Apr 13
Mon, Apr 12
We should discuss if we should not deprecate the old CorrectorTool completly because of several issues and because it adds only very small value to using add/substract with hotkeys directly.