On Sat, Jun 19, 2004, Alexander R. Pruss wrote: > headerLength is used so we can extend this later to include other data, > such as RGB value of highlight, and anything else one might fancy.
[..] > dataLength is also nice for the same reason. For all we know, there might > be reason to store other stuff in the same record eventually, and it might > go after the data. I have some disagreements about this, but we are talking about 4 bytes of extra data, so it's not much to "fight" about ;-) > I am still not sure we really need the distinction between bookmarks and > annotations. [...] > I wouldn't worry about the 6 bytes per entry very much myself. Using separate records are not so much for saving space, but to be able to identify them. How do you know if a record contains a bookmark or an annotation for the whole page? /Mike _______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
