1.3.17-beta1: Eraser causes a smaller version of itself to appear under the tool bar

Not a huge problem, but the eraser creates another, mysterious eraser ghost that does nothing. When I change the size of the eraser, its size also changes.

Update: There are two of them

The problem seems to fix itself after reopening all of my open tabs.

This bug has been out for quite a while, it’s caused by having a selection active on an inactive file tab. So you can avoid it by just deselecting before switching to another’s file tab.