PageRenderTime 41ms CodeModel.GetById 15ms RepoModel.GetById 1ms app.codeStats 0ms

/www/tags/NOV_07_2009/htdocs/42docs/news42/plugin-manager.html

#
HTML | 9 lines | 9 code | 0 blank | 0 comment | 0 complexity | dd486158c1cdf7f43dc60e4046afa924 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. <html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>Plugin Manager</title><meta name="generator" content="DocBook XSL Stylesheets V1.65.1"><link rel="home" href="index.html" title="What's New in jEdit 4.2"><link rel="up" href="user-changes.html" title="Chapter 1. User-Visible Changes"><link rel="previous" href="incompatible.html" title="Removed Features"><link rel="next" href="interface.html" title="User Interface"></head><body bgcolor="white" text="black" link="#0000FF" vlink="#840084" alink="#0000FF"><div class="navheader"><table width="100%" summary="Navigation header"><tr><th colspan="3" align="center">Plugin Manager</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="incompatible.html">Prev</a> </td><th width="60%" align="center">Chapter 1. User-Visible Changes</th><td width="20%" align="right"> <a accesskey="n" href="interface.html">Next</a></td></tr></table><hr></div><div class="sect1" lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="plugin-manager"></a>Plugin Manager</h2></div></div><div></div></div><p>
    2. 

  2. 	 A new plugin API has been added that allows plugins to be loaded and unloaded while jEdit is running. The plugin manager's user interface has also been overhauled to be more intuitive and powerful.
    3. 

  3. 	</p><p>
    4. 

  4. 	 While the new API is mostly backwards compatible, some plugins will no longer work. The best way to upgrade from 4.1 to 4.2 is to completely remove any existing plugins, and re-install a new set from scratch.
    5. 

  5. 	</p><p>
    6. 

  6. 	 Plugin options have been moved from the <span><b class="guimenu">Utilities</b></span>&gt;<span><b class="guimenuitem">Global Options</b></span> dialog box to a new <span><b class="guimenu">Plugins</b></span>&gt;<span><b class="guimenuitem">Plugin Options</b></span> dialog box.
    7. 

  7. 	</p><p>
    8. 

  8. 	 If you are a plugin developer, see <a href="api-changes.html" title="Chapter 2. API Changes">Chapter 2, <i>API Changes</i></a>.
    9. 

  9. 	</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="incompatible.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="user-changes.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="interface.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Removed Features </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> User Interface</td></tr></table></div></body></html>
    10. 

  10.