[ jEdit-devel ] AntFarm feature request

[Slava P. <sl...@je...>]

Brian,

I have an idea you might want to implement in AntFarm 1.2: add a 'save
modified buffers' option that calls jEdit.saveAllBuffers() before
running Ant.
-- 
Slava Pestov