|
| From: | Gilles |
| Subject: | Re: Global sizes |
| Date: | Fri, 25 Feb 2005 10:15:41 +0100 |
| User-agent: | Mutt/1.5.6+20040907i |
Sorry for this. > Is there an equivalent to > > #(set-global-staff-size 16) > > but for fonts? Please discard this question, as I found my mistake :-/ Gilles
| [Prev in Thread] | Current Thread | [Next in Thread] |