Eraser feature

[askunky]

I was interested in whether there was a workaround to erase some annotated pixel's masks during labeling. This would be useful in case something was labeled by mistake. Is there a way to currently do this (other than undo)?
If not, where would be a good place in the code for me to start implementing this on a fork?

[askunky]

Found a workaround by adding the following label to my config file:

"eraser": {
            "categorie": "void",
            "color": [
                0,
                0,
                0
            ],
            "id": 0,
            "id_categorie": 0,
            "name": "eraser"
        }

Closing.