diff configure @ 19917:6a31849e2b80

In r19831, font size multiplier was mistakenly applied to border width. Fixed.
author eugeni
date Thu, 21 Sep 2006 19:31:28 +0000
parents 2ce14efa8917
children 0dc175cbeed8
line wrap: on
line diff