PageRenderTime 44ms CodeModel.GetById 18ms RepoModel.GetById 1ms app.codeStats 0ms

/www/tags/NOV_07_2009/htdocs/users-guide/installing-plugins.html

#
HTML | 33 lines | 33 code | 0 blank | 0 comment | 0 complexity | 92b9aa3f90f4f67d24051a6cab8d79f6 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>Installing and Updating Plugins</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="plugin-manager.html" title="The Plugin Manager"><link rel="next" href="plugin-sets.html" title="Plugin Sets"></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">Installing and Updating Plugins</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="plugin-manager.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="plugin-sets.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="installing-plugins"></a>Installing and Updating Plugins</h2></div></div></div><p>Plugins can be installed in two ways; manually, and from the
    2. 

  2.         plugin manager. In most cases, plugins should be installed from the
    3. 

  3.         plugin manager. It is easier and more convenient.</p><p>To install plugins manually, go to <a class="ulink" href="http://plugins.jedit.org" target="_top">http://plugins.jedit.org</a> in a web
    4. 

  4.         browser and follow the directions on that page.</p><p>To install plugins from the plugin manager, make sure you are
    5. 

  5.         connected to the Internet and click the <span class="guibutton"><strong>Install</strong></span>
    6. 

  6.         tab in the plugin manager window. The plugin manager will then download
    7. 

  7.         information about available plugins from the jEdit web site, and present
    8. 

  8.         a list of plugins compatible with your jEdit release.</p><p>Click on a plugin in the list to see some information about it. To
    9. 

  9.         select plugins for installation, click the check box next to their names
    10. 

  10.         in the list.</p><p>The <span class="guibutton"><strong>Total size</strong></span> field shows the total size
    11. 

  11.         of all plugins chosen for installation, along with any plugins that will
    12. 

  12.         be automatically downloaded in order to fulfill dependencies.</p><p>If a previously saved PluginSet was selected, it will
    13. 

  13.         automatically be loaded whenever the Install tab is created, and you
    14. 

  14.         will see the filename in the hovertip of the
    15. 

  15.         <span class="guibutton"><strong>choose</strong></span> rolloverbutton, as well as all of the
    16. 

  16.         plugins in that set already checked for you. </p><p> You can clear the active PluginSet with the
    17. 

  17.         <span class="guibutton"><strong>clear</strong></span> button next to it, or choose a different
    18. 

  18.         PluginSet xml file with the <span class="guibutton"><strong>choose</strong></span> button. See
    19. 

  19.         <a class="xref" href="plugin-sets.html" title="Plugin Sets">the section called &#8220;Plugin Sets&#8221;</a> for more information. </p><p>Once you have specified plugins to install, click
    20. 

  20.         <span class="guibutton"><strong>Install</strong></span> to begin the download process.</p><p>By default, the plugin manager does not download plugin source
    21. 

  21.         code, and installs the downloaded plugins in the
    22. 

  22.         <code class="filename">jars</code> subdirectory of the user-specific settings
    23. 

  23.         directory. These settings can be changed in <span class="guilabel"><strong>Plugin
    24. 

  24.         Manager</strong></span> pane of the
    25. 

  25.         <span class="guimenu"><strong>Utilities</strong></span>&gt;<span class="guimenuitem"><strong>Global
    26. 

  26.         Options</strong></span> dialog box; see <a class="xref" href="global-opts.html#pluginmgr-pane" title="The Plugin Manager Pane">the section called &#8220;The Plugin Manager Pane&#8221;</a>.</p><p>The <span class="guibutton"><strong>Update</strong></span> tab of the plugin manager is
    27. 

  27.         very similar to the <span class="guibutton"><strong>Install</strong></span> tab. It lists plugins
    28. 

  28.         for which updated versions are available. It will also offer to delete
    29. 

  29.         any obsolete plugins.</p><div class="sidebar"><p class="title"><b>Proxy Servers and Firewalls</b></p><p>If you are connected to the Internet through an HTTP proxy or
    30. 

  30.             SOCKS firewall, you will need to specify the relevant details in the
    31. 

  31.             <span class="guibutton"><strong>Proxy Servers</strong></span> pane of the
    32. 

  32.             <span class="guimenu"><strong>Utilities</strong></span>&gt;<span class="guimenuitem"><strong>Global
    33. 

  33.             Options</strong></span> dialog box; see <a class="xref" href="global-opts.html#firewall-pane" title="The Proxy Servers Pane">the section called &#8220;The Proxy Servers Pane&#8221;</a>.</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="plugin-manager.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="plugin-sets.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">The Plugin Manager </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Plugin Sets</td></tr></table></div></body></html>
    34. 

  34.