[#2242] fix wrong hover size of MarkerInformationControl#4021

markdomeng wants to merge 1 commit into

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

markdomeng:fix_MarkerInformationControlmarkdomeng/eclipse.platform.ui:fix_MarkerInformationControlCopy head branch name to clipboard