products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/FAQ/general.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>General Questions</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="intro.html" title="Introduction"><link rel="next" href="installation.html" title="Installation 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">General Questions</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="intro.html">Prev</a> </td><th width="60%" align="center"> </th><td width="20%" align="right"> <a accesskey="n" href="installation.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="general"></a>General Questions</h2></div></div></div><p>This section deals with some background information, how to obtain the
latest version of jEdit and how to obtain further information/help.</p><div class="qandaset"><a name="d0e110"></a><dl><dt>1. <a href="general.html#about">About jEdit</a></dt><dd><dl><dt>Q: <a href="general.html#d0e114">What is jEdit?</a></dt><dt>Q: <a href="general.html#d0e124">What is the difference between a text editor and a
word processor?</a></dt><dt>Q: <a href="general.html#d0e135">What features does jEdit have?</a></dt><dt>Q: <a href="general.html#d0e224">What is a jEdit “plugin”?</a></dt><dt>Q: <a href="general.html#d0e247">How do I get documentation on jEdit?</a></dt><dt>Q: <a href="general.html#d0e260">Is there a newsgroup or mailing list devoted to
jEdit?</a></dt><dt>Q: <a href="general.html#d0e301">Is there a web site devoted to jEdit?</a></dt><dt>Q: <a href="general.html#d0e327">Are there copyright restrictions on the use of
jEdit?</a></dt><dt>Q: <a href="general.html#d0e351">Is jEdit only useful for programming in Java?</a></dt><dt>Q: <a href="general.html#d0e361">Do I need to know Java to use jEdit?</a></dt><dt>Q: <a href="general.html#d0e373">What software do I need to install and run
jEdit?</a></dt><dt>Q: <a href="general.html#d0e385">I've just started to learn programming. Is jEdit a
good choice for my first text editor?</a></dt></dl></dd><dt>2. <a href="general.html#get-answers-div">Getting answers</a></dt><dd><dl><dt>Q: <a href="general.html#d0e399">How do I get answers to my questions about
jEdit?</a></dt><dt>Q: <a href="general.html#d0e433">Where can I get interactive help for jEdit?</a></dt></dl></dd><dt>3. <a href="general.html#bugs">Reporting bugs</a></dt><dd><dl><dt>Q: <a href="general.html#d0e448">How do I report a bug I have found in jEdit?</a></dt><dt>Q: <a href="general.html#d0e463">What information should I include in a bug
report?</a></dt><dt>Q: <a href="general.html#d0e495">How do I track the status of a jEdit bug
report?</a></dt></dl></dd><dt>4. <a href="general.html#contact">Contacting jEdit developers</a></dt><dd><dl><dt>Q: <a href="general.html#d0e514">How do I contact members of the jEdit developer
team?</a></dt></dl></dd><dt>5. <a href="general.html#latest-version">Getting the latest version</a></dt><dd><dl><dt>Q: <a href="general.html#d0e533">How do I obtain the latest version of jEdit?</a></dt><dt>Q: <a href="general.html#d0e585">How do I obtain a copy of the jEdit source
code?</a></dt><dt>Q: <a href="general.html#d0e603">Where can I get the latest version of this
document?</a></dt></dl></dd></dl><table border="0" style="width: 100%;"><colgroup><col align="left" width="1%"><col></colgroup><tbody><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="about"></a>1. About jEdit</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="general.html#d0e114">What is jEdit?</a></dt><dt>Q: <a href="general.html#d0e124">What is the difference between a text editor and a
word processor?</a></dt><dt>Q: <a href="general.html#d0e135">What features does jEdit have?</a></dt><dt>Q: <a href="general.html#d0e224">What is a jEdit “plugin”?</a></dt><dt>Q: <a href="general.html#d0e247">How do I get documentation on jEdit?</a></dt><dt>Q: <a href="general.html#d0e260">Is there a newsgroup or mailing list devoted to
jEdit?</a></dt><dt>Q: <a href="general.html#d0e301">Is there a web site devoted to jEdit?</a></dt><dt>Q: <a href="general.html#d0e327">Are there copyright restrictions on the use of
jEdit?</a></dt><dt>Q: <a href="general.html#d0e351">Is jEdit only useful for programming in Java?</a></dt><dt>Q: <a href="general.html#d0e361">Do I need to know Java to use jEdit?</a></dt><dt>Q: <a href="general.html#d0e373">What software do I need to install and run
jEdit?</a></dt><dt>Q: <a href="general.html#d0e385">I've just started to learn programming. Is jEdit a
good choice for my first text editor?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e114"></a><a name="whatis"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What is jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>jEdit is a programmer's text editor written in Java,
originally developed by Slava Pestov, now maintained by
others. It has an easy to use interface that resembles that
of many other Windows and MacOS text editors. It is also
highly customizable, and contains a <span class="quote">“<span class="quote">plugin</span>”</span>
architecture that allows its features to be extended by
additional programs.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e124"></a><a name="difftext"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What is the difference between a text editor and a
word processor?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>These categories are not absolute but refer to the
primary purpose of an editing program and the focus of its
features.</p><p>A text editor is an application that edits files
containing plain text without automatically formatting the
text for printing or other publication. Typically the
contents of such a file consists of data used by another
application - for example, source code that a compiler will
process or markup text that a web browser will display. A
word processor deals with the preparation of documents for
printing or similar publication. Besides editing text, a
modern word processor allows the user to choose multiple
fonts, margin sizes, line spacing, indentation, and a
variety of other details that affect the appearance of the
document being edited. In a text editor, these features are
present, if at all, only in a basic form, and for the
limited purpose of helping the user compose and organize the
text. In place of word processing features, a text editor
contains many features that allow the user to prepare and
work with text quickly and efficiently.</p><p>The jEdit application is a text editor, not a word
processor. It contains a large assortment of features for
manipulating source code, markup text, and other text files.
As a programmer's text editor, it also has many features to
help programmers manage their projects and work with other
programming tools.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e135"></a><a name="features"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What features does jEdit have?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The short answer is, too many to list here. There is a
detailed list available on the <a class="ulink" href="http://www.jedit.org/index.php?page=features" target="_top">jEdit web
site</a>, but here are some of the major
features:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>Comprehensive online help</p></li><li class="listitem"><p>Multiple editor windows and split editing panes
within a single editing window</p></li><li class="listitem"><p>Unlimited undo/redo</p></li><li class="listitem"><p>Copy and paste with an unlimited number of
clipboards (known as <span class="quote">“<span class="quote">registers</span>”</span>)</p></li><li class="listitem"><p><span class="quote">“<span class="quote">Markers</span>”</span> for remembering
positions in files to return to later</p></li><li class="listitem"><p>Rectangular selection</p></li><li class="listitem"><p>Multiple selection for manipulating several
chunks of text at once</p></li><li class="listitem"><p>Syntax highlighting for more than 80 file
types</p></li><li class="listitem"><p>Intelligent bracket matching that skips quoted
literals and comments</p></li><li class="listitem"><p>Auto indent and word wrap</p></li><li class="listitem"><p>Abbreviations</p></li><li class="listitem"><p><span class="quote">“<span class="quote">Folding</span>”</span> display mode that hides
levels of indented text specified by the user</p></li><li class="listitem"><p>Search and replace using both literal text and
regular expressions</p></li><li class="listitem"><p><span class="quote">“<span class="quote">HyperSearch</span>”</span> option to show all
found matches in a list</p></li><li class="listitem"><p>File management functions available from within
jEdit, including deleting and renaming files and
creating new directories</p></li><li class="listitem"><p>Choice of character encoding for loading and
saving files</p></li><li class="listitem"><p>Automatic compression and decompression of
GZipped (.gz) files</p></li><li class="listitem"><p>Plugin support for loading files from ZIP and
TAR archives</p></li><li class="listitem"><p>Plugin support for loading and saving files on
FTP servers</p></li><li class="listitem"><p>Fully customizable keyboard shortcuts, tool bar
and right-click context menu</p></li><li class="listitem"><p>Macro system permitting recording and writing
of macros in the BeanShell scripting language</p></li><li class="listitem"><p>An internal <span class="quote">“<span class="quote">plugin manager</span>”</span> that
downloads and installs new and updated plugins from
within jEdit</p></li></ul></div></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e224"></a><a name="what-plugin"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What is a jEdit <span class="quote">“<span class="quote">plugin</span>”</span>?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>A plugin is an application that is designed to work
with jEdit by providing additional features that can be used
from within the main program. Often the plugin will provide
a visible user interface in a window that can be docked to
jEdit's main view window.There are currently over 120 publicly available
plugins that provide such services as a Java source code
browser, a command-line shell, templated text insertion, and
source code project management. They can be downloaded,
installed, and kept current from within jEdit's
<span class="quote">“<span class="quote">Plugin Manager</span>”</span>. There is also a section of
the jEdit web site called <a class="ulink" href="http://plugins.jedit.org/" target="_top">Plugin Central</a> that
maintains a descriptive index and download links for all
publicly available plugins.</p><p>Additional questions and answers regarding plugins may
be found in the section of this document entitled
<span class="quote">“<span class="quote">Working with Plugins</span>”</span>.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e247"></a><a name="get-doc"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I get documentation on jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>There is a comprehensive User's Guide available from
within the program using the <span class="guimenu"><strong>Help</strong></span> menu.
The User's Guide can also be downloaded from the
jEdit web site</a> in Portable Document Format (PDF),
suitable for online display or printing.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e260"></a><a name="is-newsgroup"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Is there a newsgroup or mailing list devoted to
jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>Currently there is no newsgroup devoted to jEdit.
There are three active mailing lists that are freely
available by subscription:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>The <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-users" target="_top">
jedit-users list</a>, for comments and questions
about using jEdit and its features</p></li><li class="listitem"><p>The <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-devel" target="_top">
jedit-devel list</a>, for discussion of
development issues by members of the developer team
and other interested persons</p></li><li class="listitem"><p>The <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-announce" target="_top">
jedit-announce list</a>, a low-volume list used
for announcing new releases of jEdit and
plugins</p></li></ul></div><p>Each of these lists can be obtained on a full-text
message or a daily digest basis. The daily digest bundles
groups of postings in a single email message.</p><p>If you are only interested in version announcements
and plugin updates, <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-announce" target="_top">
subscribe to the jedit-announce list</a>. If you would
like to participate in discussion or ask questions regarding
jEdit, <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-users" target="_top">subscribe
to the jedit-users list</a>. If you are interested in
jEdit's development or want to write plugins,
subscribe to jedit-devel</a>.</p><p>Do not cross-post to both lists. All jEdit developers
are subscribed to both the jedit-users and jedit-devel
lists, so a post to jedit-users will be seen by most members
of both lists. Also, keep in mind that both jEdit-users and
jEdit-devel are high-traffic lists, and can fill up your
mailbox unless you check your email regularly.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e301"></a><a name="is-website"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Is there a web site devoted to jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>There are several. The official <a class="ulink" href="http://www.jedit.org" target="_top">jEdit web site</a> contains
extensive information on all things having to do with jEdit.
There are also resources available for those interested in
jEdit development on the <a class="ulink" href="http://sourceforge.net/projects/jedit" target="_top">jEdit project
page</a> of the <a class="ulink" href="http://sourceforge.net" target="_top">SourceForge web
site</a>.</p><p>The <a class="ulink" href="http://community.jedit.org" target="_top">jEdit
Community</a> web site has articles on jEdit and related
topics, user-submitted macros and other download resources,
and listings of web links of interest to jEdit users. It has
a message board system to allow users to ask questions and
provide feedback on the project without having to subscribe
to jEdit's mailing lists. Because the message boards have
relatively low volume, using the mailing lists will often be
a more effective approach.</p><p>The jEdit Community site also has an
<span class="quote">“<span class="quote">Interactive FAQ</span>”</span> facility that allows you to
post questions to be answered by other users, and a
screenshot gallery containing images submitted by
users.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e327"></a><a name="copyright"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Are there copyright restrictions on the use of
jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The jEdit application is free, <span class="quote">“<span class="quote">Open
Source</span>”</span> software released under the <a class="ulink" href="http://www.gnu.org/licenses/old-licenses/gpl-2.0.html" target="_top">
GNU General Public License 2.0</a>. This ensures that
jEdit and its source code remains freely available for use
and distribution by the public. For specific copyright
questions, you should review the GPL 2.0 and seek
appropriate advice. Broadly speaking, there are no
restrictions on the use of the program as a text editor, and
its source code can be copied or modified for use in another
program that is governed by the General Public
License.</p><p>Plugin application that are available using jEdit's
Plugin Manager facility, as well as plugins available
through the <a class="ulink" href="http://plugins.jedit.org" target="_top">Plugin
Central</a> web site or <a class="ulink" href="http://community.jedit.org" target="_top">jEdit Community</a>,
are governed either by the General Public License or another
commonly recognized <span class="quote">“<span class="quote">Open Source</span>”</span> software
license. This means that use of the application, including
use for commercial purposes, is unrestricted without any
requirement of royalty or license fee payments. To
incorporate source code or an application or plugin as a
whole in another application, you must consult the specific
license terms to determine whether and on what basis you are
permitted to do so.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e351"></a><a name="java-only"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Is jEdit only useful for programming in Java?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>Absolutely not. Many of the jEdit's plugin
applications, and a few of the macros distributed with the
program, target the Java language or integrate tools used in
Java development. However, the core application is designed
to work with any programming or markup language. Included
with jEdit are packages providing syntax highlighting,
abbreviations and other programming support for over 60
programming languages and file types, including C, C++, C#,
Cobol, HTML, Java, Javascript, Lisp, Pascal, Perl, PHP,
Python, Ruby, TCL, Visual Basic and XML. The full list can
be found on the <a class="ulink" href="http://www.jedit.org/index.php?page=features" target="_top">jEdit web
site</a>.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e361"></a><a name="knowing-java"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Do I need to know Java to use jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>No. In fact, you do not need to know any specific
programming language other than the ones with which you
work.</p><p>At some point in your use of jEdit, you will no doubt
want to write your own macros to execute long or complex
routines with a single command or keyboard shortcut. Macros
in jEdit are written in a simplified dialect of Java called
<a class="ulink" href="http://www.beanshell.org" target="_top"> BeanShell</a>.
Its syntax will be familiar to users of Java, C++ and other
object-oriented languages, and it is not hard to learn even
if you have no experience with those languages. The User's
Guide provided with jEdit contains an extensive tutorial on
writing macros.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e373"></a><a name="needed-software"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What software do I need to install and run
jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>Since jEdit runs on a Java platform, at a minimum you
will need a Java Runtime Environment (JRE) package. If you
are planning to use jEdit to program in Java, you will need
a full Java Development Kit (JDK) package. We recommend
obtaining a JDK package.</p><p>The current version of jEdit requires a
Java runtime environment having a release version of 11 or greater. The <a class="ulink" href="http://www.jedit.org/index.php?page=compatibility" target="_top">jEdit
web site</a> contains a detailed discussion on the
compatibility of various publicly available JDKs for the
major operating systems.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e385"></a><a name="just-learning"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>I've just started to learn programming. Is jEdit a
good choice for my first text editor?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>It is an excellent choice. Its basic features are
extremely easy to use, and you will find things like
abbreviations, keyboard shortcuts and macros to be great
time-savers. It has built-in packages called <span class="quote">“<span class="quote">edit
modes</span>”</span> that automatically display keywords, tags, and
other program elements in different colors, making it easier
to view and organize your code. It works well with many Open
Source and proprietary programming tools. Because of its
extensive customization features, it can adapt to your
preferences and work patterns as you become more
experienced. Finally, it's free, so you can buy a lot of
programming texts with the money you will save.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="get-answers-div"></a>2. Getting answers</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="general.html#d0e399">How do I get answers to my questions about
jEdit?</a></dt><dt>Q: <a href="general.html#d0e433">Where can I get interactive help for jEdit?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e399"></a><a name="get-answers"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I get answers to my questions about
jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>You should look for answers in the following
places:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>The User's Guide available from the
application's menu.This FAQ document. The archives of jEdit' s mailing lists. Archives
for both the <a class="ulink" href="http://www.geocrawler.com/redir-sf.php3?list=jedit-users" target="_top">
jedit-users list</a> and the <a class="ulink" href="http://www.geocrawler.com/redir-sf.php3?list=jedit-devel" target="_top">
jedit-devel list</a> are available.</p></li></ul></div><p>If you cannot find help using those resources, post
your question to the <a class="ulink" href="mailto:[email protected]" target="_top"> jedit-users
list</a>. You will have to <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-users" target="_top">
subscribe to the mailing list</a> in order to post, but
it is well worth it, and you can elect to have daily bundles
of messages sent to you to keep email traffic down. Many
questions are answered on the mailing list within 24 hours.
The developers who respond to user questions generally do
not send direct replies, so you will need to monitor
messages from the mailing list is order to obtain an
answer.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e433"></a><a name="interactive-help"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Where can I get interactive help for jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>There is an IRC channel, <code class="filename">#jedit</code>,
available on the irc.freenode.net server that is dedicated
to jEdit support and discussion among developers. You can
reach it using any IRC client (including Chatzilla), as well
as the IRC plugin for jEdit.</p><p>There is almost always someone from the developer team
signed on the channel. Just say hello and describe your
problem.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="bugs"></a>3. Reporting bugs</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="general.html#d0e448">How do I report a bug I have found in jEdit?</a></dt><dt>Q: <a href="general.html#d0e463">What information should I include in a bug
report?</a></dt><dt>Q: <a href="general.html#d0e495">How do I track the status of a jEdit bug
report?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e448"></a><a name="report-bugs"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I report a bug I have found in jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>To be as helpful as possible to the jEdit developer
team and other users, you should use the <a class="ulink" href="http://sourceforge.net/tracker/index.php?group_id=588&atid=100588" target="_top">
bug tracker database</a> that the jEdit project
maintains on the <a class="ulink" href="http://sourceforge.net/" target="_top">SourceForge web site</a>.
You need to be a SourceForge member to post a bug
report.</p><p>Before posting a bug report, spend a few moments
searching the bug database to see if a similar report has
already been made. The bug tracker has a search facility
that will let search for bug reports using a variety of
criteria. If you find a similar bug report, and you have
additional information to contribute, post a comment to the
report. If you do not find a similar bug report, submit a
new report.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e463"></a><a name="bug-report"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>What information should I include in a bug
report?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The form in the bug tracker report provides several
fields for submitting information. If you are unsure about a
particular item, leave it at the default setting provided in
the form.</p><p>The more important fields are <span class="quote">“<span class="quote">Category</span>”</span>,
<span class="quote">“<span class="quote">Summary</span>”</span> and the <span class="quote">“<span class="quote">Initial
comment</span>”</span>. When you write your initial comment
describing the bug, you should specify the versions of
jEdit, the Java platform and operating system you are using,
because bugs often arise that are specific to particular
versions. Sometimes the bug arises from the Java runtime
environment or even the operating system, and knowing these
details helps the developer team design testing and other
debugging strategies.</p><p>One of the macros installed with jEdit is called
<span class="guimenuitem"><strong>Make Bug Report</strong></span>. You will it find
under the <span class="guimenuitem"><strong>Misc</strong></span> category of the
<span class="guimenu"><strong>Macros </strong></span> menu. This macro extracts
information regarding your jEdit installation and a stack
trace from the last error recorded by jEdit's Activity Log
and places it in a new text buffer. In many cases, the
information furnished by the macro is all that is necessary
to provide a helpful description of a bug. You can simply
cut and paste the output of the macro into the
<span class="quote">“<span class="quote">Initial comment</span>”</span> field of the bug report
form.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e495"></a><a name="bug-track"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I track the status of a jEdit bug
report?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>If you know the bug report number, go to this web
address:
<strong class="userinput"><code>http://sourceforge.net/tracker/index.php?func=detail&aid=######&group_id=588&atid=100588</code></strong>,
where <strong class="userinput"><code>######</code></strong> is the bug report
number. If you don't know the bug report number, you can
browse and search the <a class="ulink" href="http://sourceforge.net/tracker/index.php?group_id=588&atid=100588" target="_top">
bug database</a> to find the problem in which you are
interested.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="contact"></a>4. Contacting jEdit developers</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="general.html#d0e514">How do I contact members of the jEdit developer
team?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e514"></a><a name="contact-team"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I contact members of the jEdit developer
team?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>If you want to ask a question, make a feature request
or offer other general comments, the easiest way is to join
and post a message to the <a class="ulink" href="mailto:[email protected]" target="_top"> jedit-users
mailing list</a>. All developers are members. If you are
interested in working on jEdit or writing a plugin for it,
use the <a class="ulink" href="mailto:[email protected]" target="_top"> jedit-devel
list</a>. Email addresses for individual developers can
be found on the <a class="ulink" href="http://sourceforge.net/project/memberlist.php?group_id=588" target="_top">
SourceForge web site</a>.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan="2"><h4 class="title"><a name="latest-version"></a>5. Getting the latest version</h4></td></tr><tr class="toc"><td align="left" valign="top" colspan="2"><dl><dt>Q: <a href="general.html#d0e533">How do I obtain the latest version of jEdit?</a></dt><dt>Q: <a href="general.html#d0e585">How do I obtain a copy of the jEdit source
code?</a></dt><dt>Q: <a href="general.html#d0e603">Where can I get the latest version of this
document?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e533"></a><a name="get-latest-version"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I obtain the latest version of jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The program is in a continuing state of evolution. It
is usually available in two versions, a
<span class="quote">“<span class="quote">stable</span>”</span> version and a
<span class="quote">“<span class="quote">development</span>”</span> version. A stable version
represents a release of jEdit that is considered to be free
of serious bugs or performance problems and suitable for
general use. A <span class="quote">“<span class="quote">development</span>”</span> version includes
new features or new elements of program design that require
testing and possible further refinement. A development
version contains the token <span class="quote">“<span class="quote">pre</span>”</span> in its version
number, as in <code class="literal">4.5pre1</code>.</p><p>The latest stable and development versions of jEdit
are always available from the <a class="ulink" href="http://www.jedit.org" target="_top">jEdit web site</a> and from
the <a class="ulink" href="http://sourceforge.net/ projects/jedit" target="_top">jEdit
project page</a> of the <a class="ulink" href="http://sourceforge.net" target="_top">SourceForge web site</a>,
which hosts jEdit's development resources.In addition, a plugin named Updater can be run from
within jEdit by installing the Updater plugin,
and then selecting <span class="guimenuitem"><strong>Updater</strong></span>
from the application's menu. It has actions to update to the latest released version, or the latest daily build from the development branch. It queries the jEdit web site, compares chosen version information
with the version of the currently running instance of jEdit, and reports the result to the user in a message box. If an update is available, it will download the version, install it and shut down jEdit for you. </p><p>Finally, if you subscribe to the <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-announce" target="_top">
jedit-announce</a> or <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo/jedit-users" target="_top">
jedit-users</a> mailing lists, you will receive an email
whenever a new release of jEdit becomes available.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e585"></a><a name="get-source"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>How do I obtain a copy of the jEdit source
code?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The latest version of jEdit's source code is available
from the <a class="ulink" href="http://www.jedit.org/index.php?page=download&platform=source" target="_top">
jEdit web site</a> or the <a class="ulink" href="http://sourceforge.net/project/showfiles.php?group_id=588" target="_top">
SourceForge web site</a>. The web site provides the
source code for the latest stable and development version,
while the SourceForge site has a more extensive archive
covering earlier versions.</p><p>If you are interested in testing the absolutely latest
changes to jEdit, and you are familiar with compiling your
own Java programs and working with Subversion, you can
download the current code maintained in the <a class="ulink" href="http://jedit.svn.sourceforge.net/viewvc/jedit/" target="_top">SourceForge
SVN repository</a>.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e603"></a><a name="get-latest-faq"></a><p><b>Q:</b></p></td><td align="left" valign="top"><p>Where can I get the latest version of this
document?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" valign="top"><p>The latest release of this document is available on
the <a class="ulink" href="http://www.jedit.org/FAQ/index.html" target="_top">jEdit
web site</a>.</p></td></tr></tbody></table></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="intro.html">Prev</a> </td><td width="20%" align="center"> </td><td width="40%" align="right"> <a accesskey="n" href="installation.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Introduction </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Installation Questions</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.15 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.
|