[StickyScrolling] Add extension point for sticky lines provider#2398

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

Christopher-Hermann:stickyScrollingEnhancementPointChristopher-Hermann/eclipse.platform.ui:stickyScrollingEnhancementPointCopy head branch name to clipboard