[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: font switching help
From: |
Mats Bengtsson |
Subject: |
Re: font switching help |
Date: |
Thu, 04 Dec 2008 16:58:58 +0100 |
User-agent: |
Thunderbird 2.0.0.5 (X11/20070716) |
Johan Vromans wrote:
While at the subject...
To change the default fonts for a document, the advised code is:
\paper {
myStaffSize = #20
#(define fonts
(make-pango-font-tree "Times New Roman"
"Nimbus Sans"
"Luxi Mono"
(/ myStaffSize 20)))
}
This a) requires an explicit variable setting for the staff size, and
You could just as well do (for the case the font size is 14pt, for
pedagogical reasons):
\paper {
#(define fonts
(make-pango-font-tree "Times New Roman"
"Nimbus Sans"
"Luxi Mono"
(/ 14 20)))
}
b) suggests the statements must be executed (or re-executed with a
different value of myStaffSize) after a possible staff size selection.
The latter is not true, changing the staff size also scales the fonts.
Well, yes and no! If you add a #(set-global-staff-size ...) below a
\paper{#(define-fonts (make-pango-font-tree ....}, then you will get
back the default fonts,
not the ones you specified in the (define-fonts ...) command.
It's unfortunate that nobody (I feel somewhat guilty) has had the time
to document this in a
better way or to follow-up on the ideas discussed in
http://lists.gnu.org/archive/html/lilypond-devel/2008-02/msg00038.html
/Mats
We have #(set-global-staff-size ...) to designate the desired staff
size, so why is another size specification necessary?
-- Johan
_______________________________________________
lilypond-user mailing list
address@hidden
http://lists.gnu.org/mailman/listinfo/lilypond-user
--
=============================================
Mats Bengtsson
Signal Processing
School of Electrical Engineering
Royal Institute of Technology (KTH)
SE-100 44 STOCKHOLM
Sweden
Phone: (+46) 8 790 8463
Fax: (+46) 8 790 7260
Email: address@hidden
WWW: http://www.s3.kth.se/~mabe
=============================================
- font switching help, james, 2008/12/03
- Re: font switching help, Neil Puttock, 2008/12/03
- Re: font switching help, Jan van Dijk, 2008/12/04
- Re: font switching help, Michael Watts, 2008/12/04
- Re: font switching help, james, 2008/12/04
- Re: font switching help, james, 2008/12/04
- Re: font switching help, Mats Bengtsson, 2008/12/04
- Re: font switching help, james, 2008/12/04
- Re: font switching help, james, 2008/12/04
- Re: font switching help, Werner LEMBERG, 2008/12/04
- Re: font switching help, james, 2008/12/04