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

Umi suggestion filtering #93

Merged
merged 3 commits into from
Dec 26, 2022
Merged

Umi suggestion filtering #93

merged 3 commits into from
Dec 26, 2022

Commits on Dec 24, 2022

  1. Umi filtering - initial version

    ctwrs committed Dec 24, 2022
    Configuration menu
    Copy the full SHA
    d2b5142 View commit details
    Browse the repository at this point in the history

Commits on Dec 26, 2022

  1. Fix umi tag autocomplete filtering logic

    ctwrs committed Dec 26, 2022
    Configuration menu
    Copy the full SHA
    0c3397a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'DominikDoom:main' into umi-suggestions

    @ctwrs
    ctwrs authored Dec 26, 2022
    Configuration menu
    Copy the full SHA
    1620160 View commit details
    Browse the repository at this point in the history