add two new preferences regarding the default filter and the filtering of implied parameter names
for filtering of implied parameter names, do not filter out parameter names that are 3 characters or less that are contained in the argument but filter them out if they are equal
bump up jdt.ui minor version as new preference constants are added
fixes #1437
What it does
Fixes the filtering logic for code mining parameter names so parameter names that are single character aren't
matched if the argument contains that character. Also added preferences to users can turn off filtering if desired.
What it does
Fixes the filtering logic for code mining parameter names so parameter names that are single character aren't matched if the argument contains that character. Also added preferences to users can turn off filtering if desired.
How to test
See original bug or issue.
Author checklist