When drawing a new line over an old one that is known to be blank,
authorChris Hanson <org/chris-hanson/cph>
Thu, 11 Apr 1991 03:15:44 +0000 (03:15 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 11 Apr 1991 03:15:44 +0000 (03:15 +0000)
commit8df30f6df5b92d7c9626ccb325771e3165bac596
tree51c821210330e5be4dd87eb080e717d171970e8a
parent590dea4ef612b4b8ab4e941ce6c246584061e1de
When drawing a new line over an old one that is known to be blank,
don't draw either leading or trailing spaces; previously was drawing
leading spaces in this case.  Also implement procedure to estimate the
cost of drawing a specific screen line, for use in scrolling
optimization.
v7/src/edwin/edwin.pkg
v7/src/edwin/screen.scm