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

Ensure unimported things are sorted after imported things #1903

Merged
merged 2 commits into from
Aug 20, 2020
Merged

Ensure unimported things are sorted after imported things #1903

merged 2 commits into from
Aug 20, 2020

Commits on Aug 20, 2020

  1. Ensure unimported things are sorted after imported things 

    Prepend a '0' or '1' for already-imported and unimported things, respectively. This will ensure that things that are already imported will appear first in the list of completions, which is more likely to be what the user actually wants.
    @333fred
    333fred committed Aug 20, 2020
    Configuration menu
    Copy the full SHA
    82b20b7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into sort-orders

    @filipw
    filipw authored Aug 20, 2020
    Configuration menu
    Copy the full SHA
    36f4c0f View commit details
    Browse the repository at this point in the history