3 \property Voice.TextSpanner \pop #'type
4 \property Voice.TextSpanner \push #'type = #"dotted-line"
5 \property Voice.TextSpanner \push #'edge-height = #'(0 . 1.5)
6 \property Voice.TextSpanner \push #'edge-text = #'("8va " . "")
7 \property Staff."c0-position" = #-13
9 a\spanrequest \start "text" b c a \spanrequest \stop "text"
11 \property Staff."c0-position" = #-6
14 \property Staff."c0-position" = #1
15 \property Voice.TextSpanner \push #'edge-text = #'("8bass " . "")
16 \property Voice.TextSpanner \push #'direction = #-1
17 a\spanrequest \start "text" b c a \spanrequest \stop "text"