trill text spanners

[Erik Sandberg]

Hi again,

The size of trill text spanners does not scale with papersize. This makes them 
look very different in paper20 and paper11. Is there any easy workaround?

\version "1.6.9"
\score { \context Voice \notes {
  \property Voice.TextSpanner \set #'type = #'trill
  \property Voice.TextSpanner \set #'edge-height = #'(0 . 0)
  \property Voice.TextSpanner \set #'edge-text = #'((line (music 
"scripts-trill") " ") . "")
  f8 \spanrequest \start "text" g a b \spanrequest \stop "text"
}}
\include "paper11.ly"
\score { \context Voice \notes {
  \property Voice.TextSpanner \set #'type = #'trill
  \property Voice.TextSpanner \set #'edge-height = #'(0 . 0)
  \property Voice.TextSpanner \set #'edge-text = #'((line (music 
"scripts-trill") " ") . "")
  f8 \spanrequest \start "text" g a b \spanrequest \stop "text"
}}

/Erik