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

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

Hi,

I have a suggestion for your EditBus messages; make use of the
veto()/isVetoed() methods. When InfoViewer or JIndex receive one
of their messages, they should veto() that message.

Then, the sender of the message should check if the message was
vetoed with the isVetoed() method after EditBus.send() returns.
If it was vetoed, then somebody (presumably JIndex/InfoViewer)
handled the message. If it wasn't vetoed, then the message
didn't get anywhere, and the caller should display some error
message, or at least beep or something - so that the operation
doesn't silently fail.

Slava

Dirk Moebius wrote:
> 
> Hi,
> 
> I just put up new versions for InfoViewer and JIndex on
> http://titan.informatik.uni-bonn.de/~moebius/jeditplugins.html .
> 
> I sent a message to mike dillon, too, so they will be soon on Plugin
> Central.
> 
> InfoViewer 0.2 is required for JIndex 0.5.
> Both are EditBus-aware now. You can send a message to JIndex to display
> an JavaDoc on, say "javax.swing.JLabel", or just "JLabel" (in case it is
> found in the index). Would be something for JBrowse, I think. Thanks for
> Federico Silva tipping me on this.
> 
> >From the JIndex CHANGELOG:
> 
> Version 0.5
> -----------
> * The index file is now stored in "<jedithome>/jindex/jindex.ser"
> instead of "<jedithome>/jindex.ser". IMPORTANT: if you want to reuse
> your old index, move the file to the new location before starting jEdit
> (creating the folder "jindex" on the way). If you don't do this, JIndex
> will ask you to create a new index on first use.
> 
> * The default shortcut "S+F1" is no longer. You have to set your
> favorite shortcut yourself via "File->Global Options->Shortcuts". The
> command is "JIndex".
> 
> * When adding a new library to the index, a dialog box asks for the
> documentation URL.
> 
> * BugFix: Progress window was maximized due to Solaris JDK 1.2 bug
> 
> * BugFix: Configure dialog couldn't be reached, when Plugin Options
> window was open on JDK 1.2
> 
> * BugFix: Tooltips had wrong offset in keyword index
> 
> * BugFix: Index creation is now in a more "friendly" thread. Hopefully,
> this resolves some thread errors, that users reported.
> 
> * Requires InfoViewerPlugin 0.2 and jEdit 2.2pre8 or higher.
> 
> --
> Dirk Moebius <dmo...@gm...>
> 
> _______________________________________________
> jEdit Developers' List
> jEd...@li...
> http://lists.sourceforge.net/mailman/listinfo/jedit-devel