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.

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

Input Gestures dialog: Async filtering for smoother response #10307

Merged
merged 8 commits into from Jul 2, 2020

Commits on Oct 1, 2019

  1. Copy the full SHA
    946f732 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2019

  1. Copy the full SHA
    52f3e04 View commit details
    Browse the repository at this point in the history
  2. Copy the full SHA
    80e3fc6 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2019

  1. Copy the full SHA
    f594f79 View commit details
    Browse the repository at this point in the history
  2. Input Gestures dialog: Expand categories only if there are few results

    Allows to refresh the tree with no delay.
    JulienCochuyt committed Oct 28, 2019
    Copy the full SHA
    927691c View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2019

  1. Copy the full SHA
    432ef35 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2019

  1. Copy the full SHA
    ba1e208 View commit details
    Browse the repository at this point in the history

Commits on May 4, 2020

  1. Copy the full SHA
    3fc2f4a View commit details
    Browse the repository at this point in the history