This repository was archived by the owner on Mar 23, 2019. It is now read-only.

Description
Right now, I need open the raw log before I can use my "find" tool.
I'm guessing that this is because we unload lines of the log when they're offscreen for performance.
FWIW, an example of where there may be a significant amount of content, but the page is still fast/CTRL-F is still functional is when managing GitHub pulls (example).