Re: [CZT-Users] Typechecker: cyclic definition of schema's

[Petra M. <pe...@cs...>]

Tim Miller wrote:
> I had a quick look at the code, and I can't figure out 
> where this property is set.

Setting this property in jEdit is not yet supported.

> do you object to me adding this to the options in the zsidekick?

No, not at all.  Please go ahead and add this option.

Cheers,
Petra