[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
minor bug -- header, betweensystemspace, raggedlastbottom
From: |
Graham Percival |
Subject: |
minor bug -- header, betweensystemspace, raggedlastbottom |
Date: |
Sat, 13 Aug 2005 22:53:19 -0700 |
In the example below, the header is at the top of the page, but
the four lines of music are all at the bottom (with a huge whitespace in
between).
If you remove either the header, betweensystemspace, or the
raggedlastbottom,
then the results are as you'd expect (ie it works).
There's a very simple workaround: use betweensystempadding = #1
instead of betetwensystemspace.
HTH,
- Graham
\version "2.7.5"
\header{ title = "foo"}
\paper{
betweensystemspace = 1\mm
raggedlastbottom=##f
}
{
c'1 \break
c'1 \break
c'1 \break
c'1 \break
}
- minor bug -- header, betweensystemspace, raggedlastbottom,
Graham Percival <=