Commit 0683ced7 authored by
Revert "Search filter popover on [Ctrl]+[F]"
This reverts commit 543f5ae3. When this feature was originally proposed, the use cases when <Ctrl><F> is required because "just typing" doesn't do the trick were not considered. Two such cases are searching for a ~ (tilde) and pasting text to search with <Ctrl><V>. Both are now impractical because the filter popover steals the focus. Furthermore, we have a few inconsistent state bugs related to this. Instead of shipping version 3.30 with these regressions and bugs, let's withdraw this change. Closes #597 Closes #570 And closes #571