Re: bookmarks and session data, was Re: plucker-dev digest, Vol 1#343 - 7 msgs

2003-06-23 Thread Alexander R. Pruss
On Mon, 23 Jun 2003, Adam McDaniel wrote: > How about this. Instead of storing the 'yoffset' for the bookmark, > store a character offset based upon the DB itself. A character offset is slow to seek to. (Try to seek to a search string.) That could be improved, now that I have the faster page loa

Re: bookmarks and session data, was Re: plucker-dev digest, Vol 1 #343 - 7 msgs

2003-06-23 Thread Adam McDaniel
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

bookmarks and session data, was Re: plucker-dev digest, Vol 1 #343- 7 msgs

2003-06-23 Thread Alexander R. Pruss
On Mon, 23 Jun 2003, Adam McDaniel wrote: > It clears out any/all combinations of the Preferences, Temporary > (meta) files, and/or the PlkrDocList file. It would be easy to make the cleaner leave the bookmarks alone. But that's pointless since I'm going to have to implement a new bookmark format