Fix the default value description for midiChannelMapping

The current default value is "staff", not "instrument" (noted during
the review of patches related to issue 3581).

Signed-off-by: David Kastrup <dak@gnu.org>

diff --git a/scm/define-context-properties.scm b/scm/define-context-properties.scm
index 0104802b1e39474082608608f53fc33a127f290a..a0d3b98f7e82f1b070c92de64c36e3cfce1f036c 100644 (file)
--- a/scm/define-context-properties.scm
+++ b/scm/define-context-properties.scm
@@ -432,7 +432,8 @@ event when notes with the same pitch, in the same MIDI-file track, overlap.")
 @code{midiMinimumVolume}.")
      (midiMinimumVolume ,number? "Set the minimum loudness for MIDI.
 Ranges from 0 to@tie{}1.")
-     (midiChannelMapping ,symbol? "How to map MIDI channels: per @code{instrument} (default), @code{staff} or @code{voice}.")
+     (midiChannelMapping ,symbol? "How to map MIDI channels: per
+@code{staff} (default), @code{instrument} or @code{voice}.")
      (midiBalance ,number? "Stereo balance for the MIDI channel
 associated with the current context.  Ranges from@tie{}@w{-1} to@tie{}1,
 where the values@tie{}@w{-1} (@code{#LEFT}),@tie{}0 (@code{#CENTER})