jEdit Community Wiki . Main . PluginInformation (r1.11 vs. r1.12)

<<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.

	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 }