GATE: Drawing Improvements

This update addresses two issues that were reported this week: A bug caused the slider value and the input field for the brush size in the Drawing Tools to get out of sync. This should no longer happen. The eraser tool…