diff configure @ 23982:17b5fa69243c

Workaround for fonts with zero ascender/descender in horizontal header.
author eugeni
date Fri, 03 Aug 2007 15:22:55 +0000
parents b0eae82768a1
children 73c9e15e7341
line wrap: on
line diff