Highlight matched text in editor drop-down list#3938

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

vogella:highlight-editor-dropdown-matchesvogella/eclipse.platform.ui:highlight-editor-dropdown-matchesCopy head branch name to clipboard