RFE: keyboard shortcut to redisplay search results

该 issue 未指出源文件、测试或入口点；请先定位侧边栏、搜索结果和键盘快捷键的处理逻辑。当专用快捷键能够在不改变现有搜索结果的情况下恢复它们（包括结果已经消失时），并且该行为有验证覆盖时，工作即完成。

Feature request

Motivation

When the option to "Automatically hide and show the sidebar" is selected, navigating to a search result closes the sidebar. However, sometimes there are multiple search results and the one you pick first turns out to be not what you need, but by then the sidebar is already hidden and you don't see the rest of the search results.

It is possible to redisplay the search results by typing something else or using Alt + ↓ / ↑, but that's unintuitive/inconvenient because it resets search results and/or clobbers the cursor position.

Summary

This RFE is to add a dedicated keyboard shortcut (for example, Alt + /) to refocus the sidebar and redisplay search results, without changing them in any way.

Sometimes the search results disappear completely (such that the Alt + ↓ / ↑ workaround does not help). This shortcut should be able to refresh the search in this case.

This request is similar to #657, but for a keyboard shortcut rather than mouse gesture.

There are also apparent inconsistencies in how / is handled (it's not really useful most of the time because in normal usage the search bar does not seem to lose the focus at all, so blindly typing / after navigating to a search result tends to just insert a stray literal / into the search box). Perhaps this could be changed and then / would serve as the shortcut for this RFE?

Examples

N/A