diff INSTALL @ 25939:1442c0a54831

Increment display_lines here so that, for fonts where pixels_inside_wrap() set a value greater than 0, it won't cause a few extra pixels to be added to the height when the user starts typing
author Mark Doliner <mark@kingant.net>
date Wed, 28 Jan 2009 10:06:56 +0000
parents f46ae7e62d13
children 5ab7766a6c83
line wrap: on
line diff