Closed jacobpalm closed 6 years ago
Sometimes, when a checkbox is checked/unchecked in the settings dialog, the mouse pointer is not hidden before graphics are drawn, resulting in a small visual glitch when the mouse pointer is moved afterwards.
Fixed in commit e013ef8.
Sometimes, when a checkbox is checked/unchecked in the settings dialog, the mouse pointer is not hidden before graphics are drawn, resulting in a small visual glitch when the mouse pointer is moved afterwards.![costa ui glitch](https://user-images.githubusercontent.com/31964112/30516398-6f300ff2-9b3e-11e7-9f96-3dde8f0926c2.jpg)