Re: Introducing two new markup-commands: draw-dashed-line and draw-dotted-line. (issue 7029045)

[dak]

On 2012/12/30 16:30:45, J_lowe wrote:
> Excuse my ignorance but is the \xxx-xxx-xxx ok in terms of consistency
of name
> of command and/or is 'draw' redundant?

\line arranges a text line, \draw-line draws an actual line, so the name
choice seems ok.  Another possibility would be to use properties to
specify dotting/dashing and just use \draw-line (or \draw-circle and so
on).  After all, lines are not the only things that might be desirable
to do with a different line style.

https://codereview.appspot.com/7029045/