On Tue, Feb 17, 2015 at 16:30:13 +0100, Wolfgang Schuster <schuster.wolfgang@gmail.com> wrote:
> Am 17.02.2015 um 16:04 schrieb Christoph Reller <christoph.reller@gmail.com>:
> How do I escape to TeX from inside an inline typing command? It works fine from a typing environment.

The \type command doesn’t support a escape function but it can be added an additional line in the code (buff-ver.miv):

\def\buff_verbatim_type_normal#1%
  {\buff_verbatim_initialize_type_two
   \dostarttaggedchained\t!verbatim\currenttype\??type
   \ctxcommand{typestring{
     data    = \!!bs\detokenize{#1}\!!es,
     tab     = "\typeparameter\c!tab",
     method  = "\typeparameter\c!option",
+    escape  = \!!bs\typeparameter\c!escape\!!es,
     nature  = "inline",
     compact = "\typeparameter\c!compact", % none | all | last (all needed in tabulate etc for manuals)
    }}%
   \dostoptagged
   \buff_verbatim_right_of_type
   \egroup}

To enable the function add „escape=yes” (or your own delimiters) to \definetype.

Wolfgang

Thanks a lot, Wolfgang!

Dear Hans,

Can you please add the above patch, or is there a particular reason for not doing so?

Kind regards,

Christoph