Segmentation paint tool leaves brush contour when mouse is moved while pressing and holding 'Ctrl' button but without clicking mouse button.
Steps to reproduce:
- Select 'Paint' tool
- Move mouse to an image in Display tab
- Press 'Ctrl' button and hold pressed
- Move mouse
- Release 'Ctrl' button
- Move mouse