[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Yet another ancient font update
From: |
Han-Wen Nienhuys |
Subject: |
[PATCH] Yet another ancient font update |
Date: |
Tue, 14 Aug 2001 11:54:48 +0200 |
address@hidden writes:
> By the way, recently somebody suggested not using stafflinethickness
> in the \paper block, but rather overriding StaffSymbol's thickness
> property. However, this does not show any effect. I took then a short
> look at staff-symbol.cc and found that it only looks at
> stafflinethickness, but does not care about StaffSymbol's thickness
> property. Is this intended behaviour?
No, it's a bug.
Thanks for the patch, I'll apply it.
--
Han-Wen Nienhuys | address@hidden | http://www.cs.uu.nl/~hanwen/