From: Trevor Daniels <t.daniels@treda.co.uk>
Date: Thu, 7 Aug 2008 08:54:18 +0000 (+0100)
Subject: GDP NR 5.5.1 Amend layer details
X-Git-Tag: release/2.11.56-1~2^2~43^2~15
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=615852ea4d92bc365ac8d58c62a1d41d0ad0ee95;p=lilypond.git

GDP NR 5.5.1 Amend layer details

Specify integer rather than real, as
the value of layer is converted to an
integer before use.
---

diff --git a/Documentation/user/changing-defaults.itely b/Documentation/user/changing-defaults.itely
index b7a905254e..9008885014 100644
--- a/Documentation/user/changing-defaults.itely
+++ b/Documentation/user/changing-defaults.itely
@@ -1833,15 +1833,14 @@ a1
 @end lilypond
 
 This may be avoided by changing the order of printing the objects.
-All layout objects have a @code{layer} property which takes a real
-number.  Objects with the lowest value of @code{layer} are drawn
-first, then objects with progressively higher values are drawn, so
-objects with higher values overwrite objects with lower values.
+All layout objects have a @code{layer} property which should be set
+to an integer.  Objects with the lowest value of @code{layer} are
+drawn first, then objects with progressively higher values are drawn,
+so objects with higher values overwrite objects with lower values.
 By default most objects are assigned a @code{layer} value of
 @code{1}, although a few objects, including @code{StaffSymbol} and
 @code{BarLine}, are assigned a value of @code{0}.  The order of
-printing objects with the same nominal value of @code{layer} is
-indeterminate.
+printing objects with the same value of @code{layer} is indeterminate.
 
 In the example above the white clef, with a default @code{layer}
 value of @code{1}, is drawn after the staff lines (default