On 2/12/2016 3:02 PM, Ulrike Fischer wrote:
Am Fri, 12 Feb 2016 12:38:55 +0100 schrieb Hans Hagen:
injecting stuff (at the user level) in the input stream in an
uncontrolled way is messy anyway but if one really wants to do that, one
can easily kick in a callback when reading the file and then add
commands or whatever at unmarked script/language boundaries
Easily? For you certainly. But could a normal context user do it?
It's not really a topic for this list (as it makes no sense to discuss
context behaviour / philosophies here) but keep in mind that in context
we don't expect users to mess at that level. If something typographical
or cultural is needed we provide some (configurable) solution suited for
that kind of situations. Requiring users to inject stuff in some hard to
predict stage of the processing possibly interfering with all kind of
other mechanism is not our policy.
Hans
-----------------------------------------------------------------
Hans Hagen | PRAGMA ADE
Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
tel: 038 477 53 69 | www.pragma-ade.com | www.pragma-pod.nl
-----------------------------------------------------------------