Skip to content

More thorough mouse handling in onerror#14

Open
pdesaulniers wants to merge 1 commit into
rxi:masterfrom
pdesaulniers:master
Open

More thorough mouse handling in onerror#14
pdesaulniers wants to merge 1 commit into
rxi:masterfrom
pdesaulniers:master

Conversation

@pdesaulniers

@pdesaulniers pdesaulniers commented Mar 11, 2019

Copy link
Copy Markdown

This PR handles a few more cases related to the mouse cursor when switching to an error state. It does the following :

  • Make sure that the cursor is visible
  • Disable relative mode
  • Set the cursor style to default

@pdesaulniers pdesaulniers changed the title Better mouse handling in onerror More thorough mouse handling in onerror Mar 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant