Skip to content

Input Gestures dialog: Async filtering for smoother response #10307

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

Merged
feerrenrut merged 8 commits into from
Jul 2, 2020
Merged

Input Gestures dialog: Async filtering for smoother response #10307

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
946f732
Input Gestures dialog: Delay applying filter for smoother response
JulienCochuyt Oct 1, 2019
52f3e04
Merge branch 'master' into inputGesturesFilterDelay
JulienCochuyt Oct 5, 2019
80e3fc6
Input Gestures dialog: Refactor using VirtualTree
JulienCochuyt Oct 5, 2019
f594f79
Merge branch 'master' into inputGesturesFilterDelay
JulienCochuyt Oct 28, 2019
927691c
Input Gestures dialog: Expand categories only if there are few results
JulienCochuyt Oct 28, 2019
432ef35
Input Gestures dialog: Add explanatory comment
JulienCochuyt Oct 29, 2019
ba1e208
Merge branch 'master' into inputGesturesFilterDelay
JulienCochuyt Nov 18, 2019
3fc2f4a
Merge branch 'master' into inputGesturesFilterDelay
JulienCochuyt May 4, 2020
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into inputGesturesFilterDelay
  • Loading branch information
@JulienCochuyt
JulienCochuyt committed Oct 5, 2019
commit 52f3e04e900968451fe1a08d03ade382ff5f99f8

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.