Re: [ jEdit-devel ] Re: jEdit 2.4pre4 now available

[mike d. <md...@st...>]

On Mon, 10 Apr 2000, Slava Pestov wrote:
> Oops. In that case it will be easier to keep TERMINATE then. (Also,
> TERMINATE is not really a rule, and since you can only have one per
> ruleset anyway, I think we should make it an attribute of the RULES
> tag).

this is a reasonable idea.

> > > While we're on the topic of changing ParserRule, may I suggest that you
> > > split 'action' into 'majorAction' and 'actionHints'?
> > 
> > sounds good.
> 
> Should I make this change now or do you want to do it?

i've stopped working on TokenMarker for the moment, so i'd rather not make
the change.

-md