26 Oct
2015
26 Oct
'15
10:50 a.m.
On Mon, 26 Oct 2015, Wolfgang Schuster wrote:
Below is a simplified version of your example where the catcode change remains even when I try to restore the default settings with \catcodetable\ctxcatcodes but I don’t now if this is a bug.
\starttext \the\catcode`| \catcode`|=12 \catcodetable\ctxcatcodes \the\catcode`| \stoptext
This works: \starttext \the\catcode`| \pushcatcodetable \catcodetable\prtcatcodes \catcode`|=12 \popcatcodetable \the\catcode`| \stoptext (Note that under \prtcatcode, the catcode of | is 12). But replacing \prtcatcodes with \ctxcatcodes does not work. So, one "proper" fix may be add a new catcodetable, say \tikzcatcodes, for all the catcode changes that tikz does. Aditya