issue #16 should not be really solved, as the whole screen gets
repainted every time a stroke is erased, but at least the eraser feels a
lot better