Consider this scenario:
So the question is: can those marked files be deleted from the cache when exiting Search mode?
Thank you.
I couldn’t make work the CromeDevTools way that was suggested here (although I confess I didn’t spend much time on it) so here is my ugly solution: Maintain a List of all the marked files during Search mode. In browsing mode, check if the target file is in the list and if it is (meaning that it was marked) just read it afresh from disc to a HtmlDocument in memory and feed it to the browser, thus bypassing the cache.