Currently in label editing, when erase mode is on (rubber button), only the current label is erased but not other labels. However when it is off, it is possible to relabel pixels that already have another label.
It would be better to have an "override" mode that makes this distinction unrelated to erase mode.
When override is on, all pixels under the cursor are affected by drawing
When override is off, only pixels under the cursor are affected that are either of the same label, or none (zero label)
Currently in label editing, when erase mode is on (rubber button), only the current label is erased but not other labels. However when it is off, it is possible to relabel pixels that already have another label.
It would be better to have an "override" mode that makes this distinction unrelated to erase mode.