Re: Patch: Make #{ ... #} wagonloads more useful

[Kieren MacMillan]

Hi David,

> #(define-markup-command (double-box layout props text) (markup?)
>  "Draw a double box around text."
>  (interpret-markup layout props
>     #{\markup \override #'(box-padding . 0.4) \box \override #'(box-padding . 
> 0.6) \box { $text } #}))
> 
> After all, that looks decidedly less obscure than the markup macro.

This is fabulous — thanks for the very useful patch!
Kieren.