On Fri, Jun 20, 2003, Alan Hoyle wrote: > There is a small space below the final entry in the list which > doesn't get updated when I do a page down.
Yep, I have seen that, too, and it is not only a problem in the hires version; it is a problem in all versions using the "new" library form. However, I have given it a very low priority since it is only a cosmetic issue. > have that indicated in the Type icon in addition. That way, I > could still easily read the title MJ Ray suggested that we use a bold font for the unread documents and that seems like a good idea. > 2. Similarly, it might be useful to have a quick toggle to hide > read documents. Sure. You might want to add a feature request at http://bugs.plkr.org > 3. It would be nice if I could choose a different font for the > document list than for reading the documents. You already can... Try the 'Select Font...' menu option ;-) > Plucker rocks! Thanks ;-) /Mike _______________________________________________ plucker-list mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-list
