Use dialog font in editor drop-down and drop bold-when-hidden marker#3940

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

vogella:editor-dropdown-dialog-fontvogella/eclipse.platform.ui:editor-dropdown-dialog-fontCopy head branch name to clipboard