Re: [racket] Scribble: exact-chars in multiarg-element

2011-05-19 Thread Matthew Flatt
Putting the other macro around \setbeamerfont (instead of around one argument) would have worked, I think, but I've pushed a fix to the bug. At Wed, 18 May 2011 22:32:38 -0500, Robby Findler wrote: > Can you set up a helper macro that is just the identity and end up > with something like this? >

Re: [racket] Scribble: exact-chars in multiarg-element

2011-05-19 Thread Prabhakar Ragde
On 5/18/11 11:32 PM, Robby Findler wrote: Can you set up a helper macro that is just the identity and end up with something like this? \newcommand{\somethingorother}[1]{#1} \setbeamerfont{myfont}{\somethingorother{size={40}{44}}} You would think so, but \setbeamerfont is finicky about th

Re: [racket] Scribble: exact-chars in multiarg-element

2011-05-18 Thread Robby Findler
Can you set up a helper macro that is just the identity and end up with something like this? \newcommand{\somethingorother}[1]{#1} \setbeamerfont{myfont}{\somethingorother{size={40}{44}}} Robby On Wed, May 18, 2011 at 7:49 PM, Prabhakar Ragde wrote: > The 'exact-chars style property works w

[racket] Scribble: exact-chars in multiarg-element

2011-05-18 Thread Prabhakar Ragde
The 'exact-chars style property works with `element', but not with `multiarg-element'. (I can see why, in scribble/latex-render.rkt.) Was there a reason for this? I need to render something like \setbeamerfont{myfont}{size={40}{44}} and the braces around the numbers are being escaped, which of