Tool radius adjust with hotkey, 2 minor issues

(on Android, in case it matters)

Two minor issues when using the tool radius hotkey (default X) maybe they are related.

  • After navigating using a touch gesture or after switching views, the radius adjust center (should be to the left of the cursor) is not updated when pressing the hotkey before hovering. Happens in the webdemo too, but only with touch gestures without hovering. When using the mouse or hovering before using it, it updates correctly. It is also updated correctly for any further presses of the hotkey.

  • Sometimes releasing the tool radius hotkey doesn’t register, it stays in adjust mode with no keys pressed, I have to press it the hotkey again