- "Generic line objects. Any object using lines supports this."
- " The property @code{style} can be @code{line},"
- " @code{dashed-line}, @code{trill}, @code{dotted-line},"
- " @code{zigzag} or @code{none} (a transparent line).\n"
- "\n"
- "For @code{dashed-line}, the length of the dashes is tuned"
- " with @code{dash-fraction}. If the latter is set to@tie{}0, a"
- " dotted line is produced.",
-
- /* properties */
- "arrow-length "
- "arrow-width "
- "dash-fraction "
- "dash-period "
- "style "
- "thickness "
- "zigzag-length "
- "zigzag-width "
- );
+ "Generic line objects. Any object using lines supports this."
+ " The property @code{style} can be @code{line},"
+ " @code{dashed-line}, @code{trill}, @code{dotted-line},"
+ " @code{zigzag} or @code{none} (a transparent line).\n"
+ "\n"
+ "For @code{dashed-line}, the length of the dashes is tuned"
+ " with @code{dash-fraction}. If the latter is set to@tie{}0, a"
+ " dotted line is produced.",
+
+ /* properties */
+ "arrow-length "
+ "arrow-width "
+ "dash-fraction "
+ "dash-period "
+ "style "
+ "thickness "
+ "zigzag-length "
+ "zigzag-width "
+ );