| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/FAQ/intro.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Introduction</title><meta name="generator" content="DocBook XSL Stylesheets V1.79.1"><link rel="home" href="index.html" title="jEdit Frequently Asked Questions"><link rel="up" href="index.html" title="jEdit Frequently Asked Questions"><link rel="prev" href="index.html" title="jEdit Frequently Asked Questions"><link rel="next" href="general.html" title="General Questions"></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">Introduction</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="index.html">Prev</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="general.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="intro"></a>Introduction</h2></div></div></div><p>This document explains many of the basic features of jEdit and
provides solutions for commonly encountered problems. It is not the
principal resource for learning how to use and customize jEdit. The
application includes an extensive User's Guide available from within jEdit
by selecting <span class="guimenuitem"><strong>jEdit Help</strong></span> on the
<span class="guimenu"><strong>Help</strong></span> menu.</p><p>The User's Guide includes tutorials on writing macros and plugins as
well as an annotated guide to jEdit's Application Programming Interface
(API). It is worth browsing through the User's Guide to get a full sense of
what jEdit has to offer. This document is intended to supplement the User's
Guide by focusing on specific, relatively narrow topics in the traditional
question-and-answer format.</p><p>Each section of this document deals with a different category of
topics, and each begins with a listing of the questions covered. This should
allow you to find the information you are seeking quickly.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="index.html">Prev</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="general.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">jEdit Frequently Asked Questions </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> General Questions</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.37 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.
|
