[StickyScrolling] Show sticky lines if opened via search#2718

iloveeclipse merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

Christopher-Hermann:fixStickyScrollingViaSearchChristopher-Hermann/eclipse.platform.ui:fixStickyScrollingViaSearchCopy head branch name to clipboard