jEdit Community home jEdit Community Wiki > Main > PluginInformation (r1.11 vs. r1.12) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Main . { Whats New | Users | Groups | Changes | Index | Search | Go }
 <<O>>  Difference Topic PluginInformation (r1.12 - 29 Oct 2003 - Brad Mace)
Added:
>
>

Plugins that use the 4.2 API can be loaded and unloaded without restarting jEdit. Updated plugins are listed on Plugin Status 42.


Topic PluginInformation . { View | Diffs | r1.12 | > | r1.11 | > | r1.10 | More }
Revision r1.11 - 21 Sep 2003 - 01:52 GMT - Brad Mace
Revision r1.12 - 29 Oct 2003 - 17:01 GMT - Brad Mace
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads