diff etc/ps-prin1.ps @ 69110:9d86d35acf33

(update_text_area): Avoid needless redraw of rightmost glyph whose face is extended to the text area end.
author YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date Thu, 23 Feb 2006 09:07:14 +0000
parents 23a17af379b1
children 0717aeaaa61d f9a65d7ebd29
line wrap: on
line diff