| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/using-plugins.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Chapter 9. Installing and Using Plugins</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit 5.6 User's Guide"><link rel="up" href="using-jedit-part.html" title="Part I. Using jEdit"><link rel="prev" href="organizing-macros.html" title="How jEdit Organizes Macros"><link rel="next" href="plugin-manager.html" title="The Plugin Manager"></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">Chapter 9. Installing and Using Plugins</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="organizing-macros.html">Prev</a> </td><th width="60%" align="center">Part I. Using jEdit</th><td width="20%" align="right"> <a accesskey="n" href="plugin-manager.html">Next</a></td></tr></table><hr></div><div class="chapter"><div class="titlepage"><div><div><h2 class="title"><a name="using-plugins"></a>Chapter 9. Installing and Using Plugins</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><ul class="toc"><li><span class="section"><a href="plugin-manager.html">The Plugin Manager</a></span></li><li><span class="section"><a href="installing-plugins.html">Installing and Updating Plugins</a></span></li><li><span class="section"><a href="plugin-sets.html">Plugin Sets</a></span></li></ul></div><p>A <em class="firstterm">plugin</em> is an application which is loaded and
runs as part of another, host application. Plugins respond to user commands
and perform tasks that supplement the host application's features.This chapter covers installing, updating and removing plugins.
Documentation for the plugins themselves can be found in
<span class="guimenu"><strong>Help</strong></span>><span class="guimenuitem"><strong>jEdit Help</strong></span>, and
information about writing plugins can be found in <a class="xref" href="writing-plugins-part.html" title="Part IV. Writing Plugins">Part IV, “Writing Plugins”</a>.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="organizing-macros.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="using-jedit-part.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="plugin-manager.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">How jEdit Organizes Macros </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> The Plugin Manager</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
