I would propose extending the Plucker format to allow for "exact anchors", i.e., named anchors that go not just to the beginning of the referenced paragraph but to the exact text position.
On the viewer side, this is very easy. I enclose an untested patch as an
example of how it could be implemented. (The patch compiles and seems to
work OK for ordinary anchors. I didn't run unit tests, though, and I had no
documents with exact anchors to try it out on.
On the parser side, I assume it's not that hard either. Just have a
command-line option that selects whether we use paragraph-based anchors or
exact anchors, and then instead of storing paragraph numbers, store
character offsets. I am not sure I know enough Python to do this myself,
though.
Alex
--
Dr. Alexander R. Pruss
Department of Philosophy
Georgetown University
Washington, DC 20057-1133 U.S.A.
e-mail: [EMAIL PROTECTED]
online papers and home page: www.georgetown.edu/faculty/ap85
--------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
exactAnchor.diff
Description: Binary data
