Segmentation editing tools

[maximlt]

The app uses the doodles drawn by the user on an image to generate a segmented image. Ultimately, this should allow the construction of a large database of segmented images that will feed a deep learning algorithm.

Currently the app doesn't allow users to directly edit the segmented output. If they want to improve the segmentation, they have to add/remove/modify the lines they drew, and relaunch the computation (which takes a while).

Segmentation editing tools would allow users to directly edit the segmented output, by for instance removing "islands" of wrongly classified data. It shouldn't allow

• Determine what tools (manual touchups/paintings/etc.) could be useful here
• Assess if it'd be interesting to allow the user to label an output as not correctly segmented if so