Re: [ jEdit-devel ] Reloading plugins

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

begin Philip Mateescu quotation:
> Call me stupid but is there any other way to reload plugins that to
> close jEdit's window ?
> 
> I'd like to see the results without having to quit jEdit, jmake,
> restart jEdit...

this isn't possible. you have to do as you said and restart jEdit
entirely to reload plugins. unloading and reloading plugins is on the
TODO list for jEdit 4.0.

-md

-- 
"Unvalidated documents: your gun, your bullet, your foot." -- Norm Walsh