Fix empty page tree in pre-filtered preference dialog#4044

vogella wants to merge 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:fix-4041-prefilter-dialogvogella/eclipse.platform.ui:fix-4041-prefilter-dialogCopy head branch name to clipboard