Scale Tree.HEADER_MARGIN by zoom level instead of using fixed pixels#2430

akoch-yatta merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.swt:masterfrom

vi-eclipse:master-404-HEADER_MARGINvi-eclipse/eclipse.platform.swt:master-404-HEADER_MARGINCopy head branch name to clipboard