PageRenderTime 83ms CodeModel.GetById 40ms app.highlight 5ms RepoModel.GetById 36ms app.codeStats 0ms

/www/tags/NOV_07_2009/htdocs/users-guide/plugin-manager.html

#
HTML | 18 lines | 18 code | 0 blank | 0 comment | 0 complexity | 323e6253a3583b5ac7f1da50e4b2b9b7 MD5 | raw file
 1<html><head><meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"><title>The Plugin Manager</title><meta name="generator" content="DocBook XSL Stylesheets V1.73.2"><link rel="start" href="index.html" title="jEdit 4.3 User's Guide"><link rel="up" href="using-plugins.html" title="Chapter 9. Installing and Using Plugins"><link rel="prev" href="using-plugins.html" title="Chapter 9. Installing and Using Plugins"><link rel="next" href="installing-plugins.html" title="Installing and Updating Plugins"></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">The Plugin Manager</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="using-plugins.html">Prev</a> </td><th width="60%" align="center">Chapter 9. Installing and Using Plugins</th><td width="20%" align="right"> <a accesskey="n" href="installing-plugins.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>The Plugin Manager</h2></div></div></div><p><span class="guimenu"><strong>Plugins</strong></span>&gt;<span class="guimenuitem"><strong>Plugin
 2        Manager</strong></span> displays the plugin manager window. It consists of
 3        three tabs: Manage, Update and Install. The Manage tab lists all
 4        installed plugins; clicking on a plugin in the list will display
 5        information about it.</p><p>To remove plugins, select them (multiple plugins can be selected
 6        by holding down <code class="keycap">Control</code>) and click
 7        <span class="guibutton"><strong>Remove</strong></span>. This will display a confirmation dialog
 8        box first.</p><p>To view plugin documentation, select a plugin and click
 9        <span class="guibutton"><strong>Help</strong></span>. Note that plugin documentation can also be
10        accessed by invoking <span class="guimenu"><strong>Help</strong></span>&gt;<span class="guimenuitem"><strong>jEdit
11        Help</strong></span>.</p><p> After you have tuned jEdit to your liking and want to install the
12        same set of plugins onto another host, or another user's profile, you
13        can export your currently installed plugin list as an xml file, known as
14        a <span class="bold"><strong>PluginSet</strong></span>. The
15        <span class="guibutton"><strong>Save</strong></span> rollover button allows you to save the list
16        of installed and loaded plugins to an XML file.  See <a class="xref" href="plugin-sets.html" title="Plugin Sets">the section called &#8220;Plugin Sets&#8221;</a> for more information. </p><p><span class="guimenu"><strong>Plugins</strong></span>&gt;<span class="guimenuitem"><strong>Plugin
17        Options</strong></span> displays a dialog box for changing plugin 
18        settings.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="using-plugins.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="using-plugins.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="installing-plugins.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 9. Installing and Using Plugins </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Installing and Updating Plugins</td></tr></table></div></body></html>