RE: [ jEdit-devel ] AntBrowser feedback

[Brian K. <brk...@ya...>]

> From: Slava Pestov Sent: Friday, September 28, 2001
> 10:31 PM
> Hello everybody,
> 
> I've been using AntBrowser extensively over the last
> few weeks, and have the following suggestions:
> 
> - Right-clicking on a file in the tree should show a

> menu, containing 'run default target', 'edit build 
> file', 'browse build file directory'.

This should work exactly as you say. Someone else
reported not being able to bring this menu up in JDK
1.4b2. I'll have to take a closer look to see what's
wrong.

> - If the console window is not already open, trying 
> to do anything in the tree throws a 
> NullPointerException. Instead of just calling
>   getDockableWindow("console"), the AntBrowser 
> should call addDockableWindow() first.

Duh, I knew I should have done that....

> - After changing the project.name attribute in a 
> build file, there seems to be no way for the tree to
> pick up the change.

The tree should automatically reload after you save
the build file's buffer. I'm listening for a VFSUpdate
event on the EditBus. Is this not working for you, or
are you asking for in-memory reparsing of the tree?
 
> - Out of the box, running external programs doesn't
> work because it tries to look for an 'antRun' script

> in the <ant.home>/bin directory;
> the ant.home property is not set, and furthermore 
> there is no 'bin' directory.
> 
>   I suggest you add the 'antRun' and 'antRun.bat'
files to a
>   AntBrowser/bin directory. Then, ask Mike to put
these files in the
>   plugin download, even in the case of the binary
version. 
> Then, you can
>   set the ant.home property as follows:
> 
>   // in AntBrowserPlugin.start()...
>   EditPlugin.JAR jar = getJAR();
>   String path =
MiscUtilities.getParentOfPath(jar.getPath());
>   System.getProperties().put("ant.home",
>     MiscUtilities.constructPath(path,"AntBrowser"));

This has been bugging me since I started developing
this. I didn't realize I could lean on Mike to do
custom packaging. I like this solution.

Thanks for the feedback. I hope to have time this week
to finally get a release out as AntFarm.

-Brian

__________________________________________________
Do You Yahoo!?
Listen to your Yahoo! Mail messages from any phone.
http://phone.yahoo.com