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

fix: only autohide UI when the cursor autohides #771

Merged
merged 2 commits into from
Nov 6, 2023
Merged

fix: only autohide UI when the cursor autohides #771

merged 2 commits into from
Nov 6, 2023

Commits on Nov 5, 2023

  1. fix: only autohide UI when the cursor autohides 

    The cursor isn't allowed to autohide while hovering elements, so the UI
shouldn't autohide either. Otherwise this leads to the situation where
the UI autohides while e.g. hovering the timeline, and then the
cursor autohides afterwards because it's not hovering anything anymore.
    @christoph-heinrich
    christoph-heinrich committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    cedba0d View commit details
    Browse the repository at this point in the history

  2. tweak: observe cursor autohide time

    @christoph-heinrich
    christoph-heinrich committed Nov 5, 2023
    Configuration menu
    Copy the full SHA
    6552e3e View commit details
    Browse the repository at this point in the history