On Mon, Jun 23, 2003 at 01:59:40PM -0400, Alexander R. Pruss wrote: > But that's pointless since I'm going to have to implement a new bookmark > format soon, because right now Bad Things happen when one switches fonts > and goes to a bookmark. The bookmarks need to remember which font they > were made with, so that if the font has changed, they don't screw > everything up by overwriting data in the metarecords with out of date > stuff. How about this. Instead of storing the 'yoffset' for the bookmark, store a character offset based upon the DB itself. That way you wouldn't have to worry about font sizes, persistency, etc. Sure if the user changes their font it might be off by at most a dozen pixels, atleast you won't get stuck in a nasty yoffset position. Ofcourse, porting the bookmarks to their own db would be nice to have as well :) -- Adam McDaniel Array.org Calgary, AB, Canada
More information about the plucker-dev mailing list