3 \property Voice.TextSpanner \push #'edge-text = #'("8 " . "")
4 a \spanrequest \start "text"
6 a \spanrequest \stop "text"
8 \property Voice.TextSpanner \pop #'type
9 \property Voice.TextSpanner \push #'type = #"dotted-line"
10 a \spanrequest \start "text"
12 a \spanrequest \stop "text"
14 \property Voice.TextSpanner \pop #'type
15 \property Voice.TextSpanner \push #'type = #"dashed-line"
16 \property Voice.TextSpanner \push #'edge-height = #'(1 . -2)
17 a \spanrequest \start "text"
19 a \spanrequest \stop "text"
21 \property Voice.TextSpanner \push #'dash-length = #5
22 \property Voice.TextSpanner \push #'line-thickness = #10
23 a \spanrequest \start "text"
25 a \spanrequest \stop "text"