Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Teach terminal to hide mouse while typing #8629

Merged
8 commits merged into from
Jan 21, 2021
Merged

Teach terminal to hide mouse while typing #8629

8 commits merged into from
Jan 21, 2021

Commits on Dec 21, 2020

  1. Teach terminal control to hide mouse while typing

    @Don-Vito
    Don-Vito committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    ddfbe78 View commit details
    Browse the repository at this point in the history

  2. Teach terminal control to restore cursor upon pointer press and lost … 

    …focus
    @Don-Vito
    Don-Vito committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    e1d615a View commit details
    Browse the repository at this point in the history

  3. Introduce hide and restore cursor methods

    @Don-Vito
    Don-Vito committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    5e0e24c View commit details
    Browse the repository at this point in the history

  4. Move the cursor hiding logic to terminal page to ensure consistency

    @Don-Vito
    Don-Vito committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    80f648b View commit details
    Browse the repository at this point in the history

  5. Add GETMOUSEVANISH to expected keywords

    @Don-Vito
    Don-Vito committed Dec 21, 2020
    Configuration menu
    Copy the full SHA
    eb25570 View commit details
    Browse the repository at this point in the history

Commits on Dec 24, 2020

  1. Rename event names to *PointerCursor to avoid confusion

    @Don-Vito
    Don-Vito committed Dec 24, 2020
    Configuration menu
    Copy the full SHA
    9e90e6a View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2021

  1. Merge branch 'main' into 5699-mouse-vanish

    @Don-Vito
    Don-Vito committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    fab5699 View commit details
    Browse the repository at this point in the history

  2. Fix terminal control to restore cursor when closing

    @Don-Vito
    Don-Vito committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    d6c27f7 View commit details
    Browse the repository at this point in the history