In Scribble, the @racketfont tag decodes its content, so this markup:
> @racketfont{◊(select 'h1 doc)}
Will render as this (with a curly quote in front of h1):
> ◊(select ’h1 doc)
But I want this (straight quote, not curly)
> ◊(select 'h1 doc)
@verbatim is not the answer, because it will create a line break.
@literal seems like it should be the answer:
> @racketfont{◊(select @literal{'}h1 doc)}
But oddly, even though @literal is nested inside @racketfont, the resulting
markup doesn't reflect this, and renders as if the Scribble had been written
this way:
> @racketfont{◊(select} @literal{'}@racketfont{h1 doc)}
Meaning, the @literal content adopts the formatting of the enclosing block, not
the @racketfont span.
Hence the question: how can I force a literal character within @racketfont that
actually adopts the formatting of @racketfont.
____________________
Racket Users list:
http://lists.racket-lang.org/users
