Preferences: Scroll to focused item when search cleared#16992

colin-grant-work wants to merge 3 commits intomastereclipse-theia/theia:masterfrom

feature/preference-retain-focus-clear-searcheclipse-theia/theia:feature/preference-retain-focus-clear-searchCopy head branch name to clipboard