This is the best search tool I've tried so far! It's fast and searches for everything. Pretty much a search engine for all the tabs and history. Very well done!

But I have a question. I want to change the font size of the extension but I couldn't find it in the options.schema.json. Is there a way to change the font size inside the extension without having to use userChrome.css?

Лучшее расширения для поиска в истории, так как выделяет слова которые я вбиваю

Great Extension. It increased my work flow by a million. I found no issue making the history size and list 20,000. I'd suggest you change the default keybinding to toggle it.

Only one time I had issues with it and needed to recreate my profile to fix it. Clearing history and cache wouldn't stop the errors. They weren't related to the options either since I removed them in troubleshooting.

This extension needs more publicity. It's great.

Thank you Simon!

Thanks Simon! You are my hero. The extension is super convenient.
The FF default search sucks tremendously. I wasn't able to find a thing using the address bar, so I had to open Manage history and search there every single time I needed to open a page I had visited before gazillion times.

This is the ONE tool that is essentially missing, and you provided it. Thank you so much!

Fast and can work any page, even settings.

Absolutely perfect for fast fingers that need to go fast. History searching, bookmark searching and fully configurable, perfect extension!

Best addon for me, very fast and powerful, it is perfect ! Thanks very much ! What would be great would be to be able to bookmark current tab to a folder obtained by a bookmark search

Best!