Allows you to filter bookmarks and history menus – just open menu and type what you want to find.
| Escape | show all / hide tooltip / close menu (default menu behavior) |
| (any modifier)+Escape | close menu (default menu behavior) |
| Alt | close all menus (default menu behavior), only if extensions.bookmarksMenuFilter.altCloseMenu = true |
| Alt, Alt | close all menus (default menu behavior), only if extensions.bookmarksMenuFilter.doubleAltCloseMenu = true |
| Backspace | delete last char |
| Ctrl+Backspace | delete last word |
| Ctrl+C | copy filter |
| Ctrl+X | cut filter |
| Ctrl+V | paste (append) |
| Ctrl+I | toggle match case |
| Ctrl+R | toggle RegExp |
| Ctrl+A | toggle "as is" |
| Ctrl+Z | undo |
| Ctrl+Shift+Z, Ctrl+Y | redo |
| F1 | show hint |