b596dd0769
Merge commit 'aba34d96fda75cbaaae19ce6296266feb24ce365' * commit 'aba34d96fda75cbaaae19ce6296266feb24ce365': Fix display of the selection background for search results.