If you're using the erase tool and it ends up touching a tile with a Big Graphic on it, the app will end up in a state where it thinks the mouse button is being held down, when it actually isn't, which can result in some unwanted erasures. Clicking once to reset those state vars takes care of it, but it shouldn't happen in the first place.
This might have something to do with my focus-follows-mouse setup, but regardless, I'd like to fix it.
If you're using the erase tool and it ends up touching a tile with a Big Graphic on it, the app will end up in a state where it thinks the mouse button is being held down, when it actually isn't, which can result in some unwanted erasures. Clicking once to reset those state vars takes care of it, but it shouldn't happen in the first place.
This might have something to do with my focus-follows-mouse setup, but regardless, I'd like to fix it.