[seemaze]

As someone who routinely switches between multi-gigabyte PDF files, I appreciate that they all stay loaded in memory. Ain't nobody got time to re-render and re-index those files every time I switch documents..

[adamnemecek]

Ok, it should be an option.