Keep the height reserved by a code mining in sync with the font - #4238

Keep the height reserved by a code mining in sync with the font#4238

vogella merged 1 commit into

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

vogella:codemining-font-changevogella/eclipse.platform.ui:codemining-font-changeCopy head branch name to clipboard