[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: page breaks related to header size
From: |
Werner LEMBERG |
Subject: |
Re: page breaks related to header size |
Date: |
Mon, 19 Nov 2007 07:57:30 +0100 (CET) |
> >> Warning: long-winded explanation follows. [...]
> >
> > This is an excellent description which should probably go into the
> > documentation.
>
> Really? I skimmed through it, and it looked like a discussion about a
> current bug.
I meant the description of lilypond's behaviour w.r.t. formatting a
page. IMHO, those subtle details (which will probably change in the
future, as Joe indicates) can help users understand what's going on.
It will reduce bug reports sent to us.
Due to time constraints I wasn't able to read the new documentation at
all (you are a hero, BTW, for investing so much time into this!), thus
I can't suggest a possible location for inclusion. Maybe it's not
necessary at all since lilypond's layout process is already documented
in detail.
Werner
- Re: page breaks related to header size, (continued)
- Re: page breaks related to header size, Paul Scott, 2007/11/10
- Re: page breaks related to header size, Han-Wen Nienhuys, 2007/11/10
- Re: page breaks related to header size, Paul Scott, 2007/11/11
- Re: page breaks related to header size, Risto Vääräniemi, 2007/11/12
- Re: page breaks related to header size, Joe Neeman, 2007/11/12
- Re: page breaks related to header size, Paul Scott, 2007/11/12
- Re: page breaks related to header size, Risto Vääräniemi, 2007/11/13
- Re: page breaks related to header size, Joe Neeman, 2007/11/17
- Re: page breaks related to header size, Werner LEMBERG, 2007/11/18
- Re: page breaks related to header size, Graham Percival, 2007/11/19
- Re: page breaks related to header size,
Werner LEMBERG <=
- Re: page breaks related to header size, Graham Percival, 2007/11/19
- Re: page breaks related to header size, Han-Wen Nienhuys, 2007/11/20
- Re: page breaks related to header size, Paul Scott, 2007/11/21
- Re: page breaks related to header size, Han-Wen Nienhuys, 2007/11/21
- Re: page breaks related to header size, Paul Scott, 2007/11/21
- Re: page breaks related to header size, Paul Scott, 2007/11/21
- Message not available
- Re: page breaks related to header size, Paul Scott, 2007/11/21
- Re: page breaks related to header size, Joe Neeman, 2007/11/21