Skip to content

Fix Package Explorer View filter not filtering non-archive plug-ins part 2#3041

Merged
jjohnstn merged 1 commit into
eclipse-jdt:masterfrom
Phillipus:package-explorer-filter-fix
Jun 22, 2026
Merged

Fix Package Explorer View filter not filtering non-archive plug-ins part 2#3041
jjohnstn merged 1 commit into
eclipse-jdt:masterfrom
Phillipus:package-explorer-filter-fix

Conversation

@Phillipus

Copy link
Copy Markdown
Contributor

What it does

This is a follow up to #3032 but for the "Libraries in project" filter. When "Libraries in project" is filtering in Package Explorer it should also filter plug-ins that are not in archive format.

The fix is the same as for #3032

How to test

See #3029 for steps to reproduce but use the filter "Libraries in project"

Author checklist

…art 2

- When "Libraries in project" is filtering in Package Explorer it should also filter plug-ins that are not in archive format
@Phillipus Phillipus force-pushed the package-explorer-filter-fix branch from e820ade to 7f058f7 Compare June 20, 2026 12:12

@jjohnstn jjohnstn left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good.

@jjohnstn jjohnstn merged commit 0c7a0a1 into eclipse-jdt:master Jun 22, 2026
13 checks passed
@Phillipus Phillipus deleted the package-explorer-filter-fix branch June 23, 2026 11:16
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