diff make-dist @ 33568:ea6ead04f574

(pos_visible_p): Compute the default character height differently.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 17 Nov 2000 15:38:35 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff