Add inline filter bar to Project Explorer#3826

vogella wants to merge 3 commits intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:feature/project-explorer-filter-barvogella/eclipse.platform.ui:feature/project-explorer-filter-barCopy head branch name to clipboard