Re: [ jEdit-devel ] new versions: InfoViewer 0.2 and JIndex 0.5

[Slava P. <sp...@gj...>]

Dirk Moebius wrote:
> Good idea. I put it on my TODO list.
> btw. veto()/isVetoed() is misleading. I didn't know what to do with it.
> Maybe it should be heard()/isHeard() or something.

It is a bit misleading, but technically, the message is being vetoed
because after veto() is called, it is not sent any further on the bus.

Slava