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 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.
I may also have to do something about the history data. I haven't checked
yet, but I suspect that a Bad Thing happens if one goes to page A, then
moves via a link to page B, changes fonts, moves via a link to page A, and
then presses the back button twice. (The viewer has no way of knowing now
that the new metarecord for page A is based on a different font from what
was there before. The problem won't occur if one just changes fonts on
page B and goes back to page A, because currently font changes reset
metarecord data for all records in the document.)
This is going to cost memory, because I will have to record a whole lot of
font data for each bookmark and history entry. Here's a clever
alternative. I record a 32-bit integer in each bookmark and history
entry. The integer is also stored in Prefs()->fontCount if fonts are
common between documents (a new feature lets you have different fonts in
different documents), else stored in HistoryPtr()->fontCount. Each time a
font change is made for the document, the value of fontCount is
incremented.
Better yet. fontCount stores the system time of the last font change.
(I assume nobody is fast enough to make two font changes per click.)
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
