I assume the information displayed by the History potion of the bookmark manager is kept by the Mozilla trunk code, and not by the Camino specific part. Does the history store anything more than just the URL, page name, and day - specifically, does it store the time of day it was accessed? This would be useful in some situations (you looking for something you know you access at a particular time, or around the time you access another thing you can do a search for).

Although if this isn't kept by the trunk code, it would require a change to the trunk, and I'd think increase the size of the history file by a lot, unless some clever time-encoding scheme were used - perhaps minutes since last page view if less than 255 - that keeps it down to a byte, or a full date-stamp if greater than that - with the first byte's high/low bit (not used in the 1-255 minute encoding, and made to not be used in the full date encoding) to keep track of which scheme was used. This of course would mean that the full date history would have to be rebuilt each time. And there may be better ways to store dates out there.. (If anyone knows anything particularly good, email me? I'm interested academically as well as for the possibility of ways to put it into Camino)

Jim Witte
[EMAIL PROTECTED]
Indiana University CS

_______________________________________________
Camino mailing list
[EMAIL PROTECTED]
http://mozdev.org/mailman/listinfo/camino

Reply via email to