removing extra refresh

2003-12-28 Thread Alexander R. Pruss
There is now an extra screen refresh when autoscrolling stops, due to the need to update anchors. I am removing this by making a new draw mode that only lays out anchors and does nothing else. Alex -- Dr. Alexander R. Pruss Department of Philosophy Georgetown University Washington, DC

Re: removing extra refresh

2003-12-28 Thread Alexander R. Pruss
There is now an extra screen refresh when autoscrolling stops, due to the need to update anchors. I am removing this by making a new draw mode that only lays out anchors and does nothing else. Done. (I'm thinking this is really sort of a bug fix. Screen should not be redrawn when nothing on

Posix Viewer, Explode, and Unpluck

2003-12-28 Thread Chris Hawks
Well, after quite a bit of work, I've added some minor features, cleaned-up the code and brought all 3 closer to the Plucker coding guidelines. The Posix Viewer and Explode now show tables and multiimages (Explode even renders multiimages back into a single jpeg. Enjoy! Christopher R. Hawks