3 \property Voice.TextSpanner \push #'edge-text = #'("8 " . "")
4 a \spanrequest \start "text"
6 a \spanrequest \stop "text"
7 \property Voice.TextSpanner \pop #'type
8 \property Voice.TextSpanner \push #'type = #"dotted-line"
9 a \spanrequest \start "text"
11 a \spanrequest \stop "text"
12 \property Voice.TextSpanner \pop #'type
13 \property Voice.TextSpanner \push #'type = #"dashed-line"
14 a \spanrequest \start "text"
16 a \spanrequest \stop "text"
17 \property Voice.TextSpanner \push #'dash-length = #5
18 \property Voice.TextSpanner \push #'line-thickness = #10
19 a \spanrequest \start "text"
21 a \spanrequest \stop "text"