Don't inject stuff into the text #13
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Right now we replace headlines with
<H>headline</H>
and page numbers with<PAGE 22>
. It would be better to record the positions of headlines and pages and not inject anything. This way, headlines and page numbers would be accessible for--raw
searches too.In order to have page numbers and headlines with
--raw
, I would have to duplicate the code or make it far more complicated. I don't think it is worth the effort at the moment.