Board Manager: searching returns also near matches #11096
Conversation
|
✅ Build completed. Please test this code using one of the following: ⬇️ https://downloads.arduino.cc/javaide/pull_requests/arduino-PR-11096-BUILD-988-linux32.tar.xz ℹ️ The |
The original filter would only populate the contribution list with perfect matches. Previously, if a core was installed but didn't match the search it wouldn't appear in the results (due to a board being added or the description changed); the user could then install (not upgrade) the core, triggering a confusing situation. When moving to arduino-cli backend we should take care of this issue, at least visually (the cli logic would correctly update/downgrade the core)
cmaglie
force-pushed
the
loose_filter_on_boards
branch
from
46880bd to
aef6d2a
Compare
|
✅ Build completed. Please test this code using one of the following: ⬇️ https://downloads.arduino.cc/javaide/pull_requests/arduino-PR-11096-BUILD-992-linux32.tar.xz ℹ️ The |
The original filter would only populate the contribution list with perfect matches.
Previously, if a core was installed but didn't match the search it wouldn't appear in the results (due to a board being added or the description changed);
the user could then install (not upgrade) the core, triggering a confusing situation.
When moving to arduino-cli backend we should take care of this issue, at least visually (the cli logic would correctly update/downgrade the core)
@per1234 I couldn't find the relevant issues for this fix; I'm quite sure there are a couple 🙂
It would be great you can cross reference them here.
All Submissions:
New Feature Submissions:
Changes to Core Features: