| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/FAQ/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: general.html Sprache: HTMLOriginal von: Isabelle© |
|
||||||||
<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 latest version of jEdit and how to obtain further information/help.</p><div class="qandaset"><a word processor?</a></dt><dt>Q: <a href="general.html#d0e135">What features does jEdit have?</a></d jEdit?</a></dt><dt>Q: <a href="general.html#d0e301">Is there a web site devoted to jEdit?</a></dt><dt>Q jEdit?</a></dt><dt>Q: <a href="general.html#d0e351">Is jEdit only useful for programming in Java?< jEdit?</a></dt><dt>Q: <a href="general.html#d0e385">I've just started to learn programming good choice for my first text editor?</a></dt></dl></dd><dt>2. <a href="general.html#get-answers-di jEdit?</a></dt><dt>Q: <a href="general.html#d0e433">Where can I get interactive help for jEdit?</a>< 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>< team?</a></dt></dl></dd><dt>5. <a href="general.html#latest-version">Getting the latest version</a>< 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 word processor?</a></dt><dt>Q: <a href="general.html#d0e135">What features does jEdit have?</a></d jEdit?</a></dt><dt>Q: <a href="general.html#d0e301">Is there a web site devoted to jEdit?</a></dt><dt>Q jEdit?</a></dt><dt>Q: <a href="general.html#d0e351">Is jEdit only useful for programming in Java?< jEdit?</a></dt><dt>Q: <a href="general.html#d0e385">I've just started to learn programming good choice for my first text editor?</a></dt></dl></td></tr><tr class="question"><td align="left" val 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>”</spa architecture that allows its features to be extended by additional programs.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0 word processor?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td ali 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="d0e1 detailed list available on the <a class="ulink" href="http://www.jedit.org/index.php?pag site</a>, but here are some of the major features:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: within a single editing window</p></li><li class="listitem"><p>Unlimited undo/redo</p></li><li class clipboards (known as <span class="quote">“<span class="quote">registers</span>”</span>)</p></li><li c positions in files to return to later</p></li><li class="listitem"><p>Rectangular selection</p></li>< 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="li levels of indented text specified by the user</p></li><li class="listitem"><p>Search and replace us regular expressions</p></li><li class="listitem"><p><span class="quote">“<span class="quote">Hype found matches in a list</p></li><li class="listitem"><p>File management functions available from w jEdit, including deleting and renaming files and creating new directories</p></li><li class="listitem"><p>Choice of character encoding for loadin 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 a of macros in the BeanShell scripting language</p></li><li class="listitem"><p>An internal <span cla 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=" 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"> 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=" 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" valig jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left There are three active mailing lists that are freely available by subscription:</p><div class="itemizedlist"><ul class="itemizedlist" style="li 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 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://l 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 announce and plugin updates, <a class="ulink" href="http://lists.sourceforge.net/lists/listinfo 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-user 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" 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" t page</a> of the <a class="ulink" href="http://sourceforge.net" target="_top">SourceForge we 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 t 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= jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left Source</span>”</span> software released under the <a class="ulink" href="http://www.gnu.org/l 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">jE 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="d0e35 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" tar site</a>.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e361"></a><a name 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">< jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left 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=" 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= good choice for my first text editor?</p></td></tr><tr class="answer"><td align="left" valign="top 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" jEdit?</a></dt><dt>Q: <a href="general.html#d0e433">Where can I get interactive help for jEdit?</a>< jEdit?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left places:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: di application's menu. This FAQ document. The archives of jEdit' for both the <a class="ulink" href="http://www.geocrawler.com/redir-sf.php3?list=jedit jedit-users list</a> and the <a class="ulink" href="http://www.geocrawler.com/redir-sf.ph jedit-devel list</a> are available.</p></li></ul></div><p>If you cannot find help using those resource your question to the <a class="ulink" href="mailto:[email protected]" ta list</a>. You will have to <a class="ulink" href="http://lists.sourceforge.net/lists/listi 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 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=" 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"></ team and other users, you should use the <a class="ulink" href="http://sourceforge.net/trac bug tracker database</a> that the jEdit project maintains on the <a class="ulink" href="http://sourceforge.net/" target="_top">SourceFor 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 n report?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="lef 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</s <span class="quote">“<span class="quote">Summary</span>”</span> and the <span class="quote">“<span cl 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=" report?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="lef address: <strong class="userinput"><code>http://sourceforge.net/tracker/index.php?func=detail&a 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?g 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 clas team?</a></dt></dl></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e514"></a><a team?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" or offer other general comments, the easiest way is to join and post a message to the <a class="ulink" href="mailto:[email protected] 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"> list</a>. Email addresses for individual developers can be found on the <a class="ulink" href="http://sourceforge.net/project/memberlist.php?gr SourceForge web site</a>.</p></td></tr><tr class="qandadiv"><td align="left" valign="top" colspan 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 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 includ 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 versi number, as in <code class="literal">4.5pre1</code>.</p><p>The latest stable and development versi are always available from the <a class="ulink" href="http://www.jedit.org" target="_top">j the <a class="ulink" href="http://sourceforge.net/ projects/jedit" target="_t project page</a> of the <a class="ulink" href="http://sourceforge.net" target="_top">Source which hosts jEdit's development resources. In addition, a plugin named Updater can 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 releas with the version of the currently running instance of jEdit, and reports the result to the user i jedit-announce</a> or <a class="ulink" href="http://lists.sourceforge.net/lists/listinf 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="le code?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="left" from the <a class="ulink" href="http://www.jedit.org/index.php?page=download&platform= jEdit web site</a> or the <a class="ulink" href="http://sourceforge.net/project/showfiles. 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.source SVN repository</a>.</p></td></tr><tr class="question"><td align="left" valign="top"><a name="d0e60 document?</p></td></tr><tr class="answer"><td align="left" valign="top"><p><b>A:</b></p></td><td align="l 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%" sum ¤ Dauer der Verarbeitung: 0.31 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.Bot Zugriff |
