Bug: I was using the eraser tool, and trying to decrease the size of it. As I was decreasing it, the tool settings disappear. I click another tool, but it doesn't show the tool settings.