Fix sticky scroll height calculation for variable line heights#3971

Christopher-Hermann merged 2 commits into

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

Christopher-Hermann:stickyChristopher-Hermann/eclipse.platform.ui:stickyCopy head branch name to clipboard