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.

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

Improvements to mbeddr search tool #2650

Open
wants to merge 36 commits into
base: maintenance/mps20232
Choose a base branch
from

Conversation

alexanderpann
Copy link
Member

@alexanderpann alexanderpann commented Dec 10, 2024

The mbeddr search tool was improved: It can now also search the project and globally. It also got options for approximate searching with an error distance, and matching the case. The UI was also improved:

Screenshot 2024-12-10 at 23 32 33

@alexanderpann
Copy link
Member Author

alexanderpann commented Dec 11, 2024

When you search again, you sometimes get the following exception that I don't know how to fix:
java.lang.ArrayIndexOutOfBoundsException: 3 >= 3

It was a threading issue. Updating the UI not from the UI thread is not a good idea.

@HeikoBecker HeikoBecker self-requested a review December 12, 2024 08:40
Copy link
Member

@HeikoBecker HeikoBecker left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Functional Review:

  • I cannot use the search functionality on solutions:
    image
  • Searching modules for some elements returns weird results:
    image
  • Levensthein based search for words of size 2 is a bit nonsensical in my opinion:
    image
  • Can we make the search window active with global/project scope per default? Maybe via an extension point? If I do not know about the existence of the search option in the logical view, this would make it easier to find.

@alexanderpann
Copy link
Member Author

alexanderpann commented Dec 16, 2024

Searching modules for some elements returns weird results

The search results are correct, the string "test" appears in all of them and you are ignoring the case.

@alexanderpann alexanderpann force-pushed the bugfix/improve_search_tool branch from ed47e6c to d948b7d Compare December 16, 2024 21:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants