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

Bug 478530 - Add option to disable-enable build folder filtering #180

Closed
wants to merge 1 commit into from
Closed

Bug 478530 - Add option to disable-enable build folder filtering #180

wants to merge 1 commit into from

Conversation

SimonScholz
Copy link
Contributor

This PR contains 1 filter from the TAPI and 3 static filters different kinds of filters for the Package Explorer and the Project Explorer:

  • Resource Filter from the TAPI
    • Acts like before, but with the new filter mechanism (activated by default)
  • 3 static filters, which are supposed to be provided by the TAPI
    • Filter for the "build" folder (activated by default)
    • Filter for the ".gradle" folder (activated by default)
    • Filter for the "gradle" folder (turned off by default)

@eclipsewebmaster
Copy link

Issue tracker reference:
https://bugs.eclipse.org/bugs/show_bug.cgi?id=478530

return isBuildFolderVisible;
}

public static Predicate<IResource> isGraldeFolderVisible() {
Copy link
Contributor

Choose a reason for hiding this comment

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

Minor typo in Gralde.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Thanks @Ian-Stewart-Binks I just removed the typo

Change-Id: Ie3e2f256dae25abeba8b1470f574458dedfa5662
Signed-off-by: Simon Scholz <simon.scholz@vogella.com>
@donat donat closed this Dec 3, 2015
@donat donat reopened this Dec 3, 2015
@mwnorman
Copy link

Any idea when this fix is going to be merged?

@donat
Copy link
Contributor

donat commented Mar 8, 2016

This has been superseded by the following changes on the master branch: f933de3...c35d93c

@donat donat closed this Mar 8, 2016
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.

5 participants