• António Fernandes's avatar
    Revert "Search filter popover on [Ctrl]+[F]" · 0683ced7
    António Fernandes authored
    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
    0683ced7