Skip to content
This repository was archived by the owner on Jan 19, 2025. It is now read-only.

Conversation

lars-reimann
Copy link
Member

@lars-reimann lars-reimann commented Jul 3, 2022

Closes #837.

Summary of Changes

When the user inputs an incorrect filter, a possible replacement gets suggested, provided a fixed filter exists with a Levenshtein distance of at most 3. The user can click on this suggestion to update the filter string.

Screenshots (if necessary)

image

@github-actions
Copy link

github-actions bot commented Jul 3, 2022

MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ CREDENTIALS secretlint yes no 3.66s
✅ GIT git_diff yes no 0.01s
✅ JSON eslint-plugin-jsonc 2 0 0 2.3s
✅ JSON jsonlint 2 0 0.76s
✅ JSON prettier 2 0 0 1.19s
✅ JSON v8r 2 0 4.73s
✅ TSX eslint 1 0 0 7.2s
✅ TYPESCRIPT eslint 1 0 0 5.37s
✅ TYPESCRIPT prettier 2 0 0 1.1s

See errors details in artifact MegaLinter reports on CI Job page
Set VALIDATE_ALL_CODEBASE: true in mega-linter.yml to validate all sources, not only the diff

@lars-reimann lars-reimann merged commit 49606af into main Jul 3, 2022
@lars-reimann lars-reimann deleted the 837-give-suggestions-to-user-if-they-input-the-keywords-incorrectly-in-the-filter branch July 3, 2022 09:47
@github-actions
Copy link

github-actions bot commented Jul 3, 2022

🎉 This PR is included in version 1.39.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@github-actions github-actions bot added the released Included in a release label Jul 3, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

released Included in a release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Give suggestions to user if they input the keywords incorrectly in the filter

1 participant