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
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________