Are you sure you want to permanently delete this note from your account?
Are you sure you want to permanently delete this vote from your account?
Are you sure you want to remove this note from this collection?
Are you sure you want to permanently delete this highlight?
Binds Ctrl-R to a widget that searches for multiple keywords in AND fashion. In other words, you can enter multiple words, and history entries that match all of them will be found. The entries are syntax highlighted.
