codemirror: hide the drop down to select history when maximized
The real motivation was to make sure that search match is displayed when searching with Ctrl+F / Ctrl+G (cherry picked from commit 24a171a4)
Showing
Please register or sign in to comment