Improve Problems view filter dialog UX and fix vanishing markers#3862

vogella wants to merge 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

vogella:improve-filter-dialogvogella/eclipse.platform.ui:improve-filter-dialogCopy head branch name to clipboard