Re: [CZT-Users] Problems with certain characters in jEdit

[Tim M. <T.M...@li...>]

nelis wrote:
> Hello,
>=20
> I'm continuing my efforts in using Z, and thanks to Tim I've made great=
=20
> progress. But I still run into problems (in Unicode markup):
>=20
> - the 'section' concept is not accepted by the parser, it gives a synta=
x=20
> error on the first character.
> ? section NAME parents standard_toolkit ?
>=20
Can you post the full example, including the error message? This=20
works fine for me.

> - the set substraction does not work when choosing it from the ZCharMap=
=20
> (with some strange error saying "Application of a non-function=20
> Expression: Cannot be printed ..."), but it seems to work if I use a=20
> normal backslash. Does it mean the same thing?
>=20
Yes, they mean the same thing, but you have discovered a bug!

Petra, the set_toolkit section defines set minus as the unicode=20
character 005C, while the ZTable in the zcharmap plugin defines it=20
as 2216. The version of the standard that I have specifies it as=20
005C, but I'm not sure whether my version is still up to date. Any=20
clues?

Cheers,
Tim