|
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
using-jedit-part.html
Sprache: HTML
|
|
products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/using-jedit-part.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Part I. Using jEdit</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="index.html" title="jEdit 5.6 User's Guide"><link rel="prev" href="index.html" title="jEdit 5.6 User's Guide"><link rel="next" href="conventions.html" title="Chapter 1. Conventions"></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">Part I. Using jEdit</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="conventions.html">Next</a></td></tr></table><hr></div><div class="part"><div class="titlepage"><div><div><h1 class="title"><a name="using-jedit-part"></a>Part I. Using jEdit</h1></div></div></div><div class="partintro"><div></div><p>This part of the user's guide covers jEdit's text editing
commands, along with basic usage of macros and plugins.</p><p>This part of the user's guide was originally written by Slava
Pestov and is maintained by the jEdit core development team.</p><div class="toc"><p><b>Table of Contents</b></p><ul class="toc"><li><span class="chapter"><a href="conventions.html">1. Conventions</a></span></li><li><span class="chapter"><a href="starting.html">2. Starting jEdit</a></span><ul><li><span class="section"><a href="cli-usage.html">Command Line Usage</a></span><ul><li><span class="section"><a href="cli-usage.html#d0e326">Miscellaneous Options</a></span></li><li><span class="section"><a href="cli-usage.html#d0e372">Configuration Options</a></span></li><li><span class="section"><a href="cli-usage.html#d0e471">Edit Server Options</a></span></li></ul></li><li><span class="section"><a href="jvm-options.html"> Java Virtual Machine Options </a></span></li></ul></li><li><span class="chapter"><a href="basics.html">3. jEdit Basics</a></span><ul><li><span class="section"><a href="overview.html">Interface Overview</a></span></li><li><span class="section"><a href="views.html">Multiple Views</a></span></li><li><span class="section"><a href="buffers.html">Switching Buffers</a></span></li><li><span class="section"><a href="buffersets.html">Buffer Sets and closing buffers</a></span></li><li><span class="section"><a href="docking.html">Window Docking Layouts</a></span></li><li><span class="section"><a href="status-bar.html">The Status Bar</a></span></li><li><span class="section"><a href="action-bar.html">The Action Bar</a></span></li></ul></li><li><span class="chapter"><a href="files.html">4. Working With Files</a></span><ul><li><span class="section"><a href="creating.html">Creating New Files</a></span></li><li><span class="section"><a href="opening.html">Opening Files</a></span></li><li><span class="section"><a href="saving.html">Saving Files</a></span><ul><li><span class="section"><a href="saving.html#d0e1529">Two-Stage Save</a></span></li><li><span class="section"><a href="saving.html#autosave">Autosave and Crash Recovery</a></span></li><li><span class="section"><a href="saving.html#backups">Backups</a></span></li></ul></li><li><span class="section"><a href="line-separators.html">Line Separators</a></span></li><li><span class="section"><a href="encodings.html">Character Encodings</a></span><ul><li><span class="section"><a href="encodings.html#d0e1850">Commonly Used Encodings</a></span></li></ul></li><li><span class="section"><a href="vfs-browser.html">The File System Browser (FSB)</a></span><ul><li><span class="section"><a href="vfs-browser.html#d0e1921">Navigating the File System</a></span></li><li><span class="section"><a href="vfs-browser.html#d0e2005">The Tool Bar</a></span></li><li><span class="section"><a href="vfs-browser.html#d0e2019">The Commands Menu</a></span></li><li><span class="section"><a href="vfs-browser.html#d0e2085">The Plugins Menu</a></span></li><li><span class="section"><a href="vfs-browser.html#d0e2095">The Favorites Menu</a></span></li><li><span class="section"><a href="vfs-browser.html#d0e2112">Keyboard Shortcuts</a></span></li></ul></li><li><span class="section"><a href="reloading.html">Reloading From Disk</a></span></li><li><span class="section"><a href="task-monitor.html">Task Monitor, and background I/O tasks</a></span></li><li><span class="section"><a href="printing.html">Printing</a></span></li><li><span class="section"><a href="closing-exiting.html">Closing Files and Exiting jEdit</a></span></li></ul></li><li><span class="chapter"><a href="editing.html">5. Editing Text</a></span><ul><li><span class="section"><a href="caret.html">Moving The Caret</a></span></li><li><span class="section"><a href="selection.html">Selecting Text</a></span><ul><li><span class="section"><a href="selection.html#d0e2482">Range Selection</a></span></li><li><span class="section"><a href="selection.html#rect-select">Rectangular Selection</a></span></li><li><span class="section"><a href="selection.html#multi-select">Multiple Selection</a></span></li></ul></li><li><span class="section"><a href="keyboard-focus.html"> Keyboard Focus </a></span></li><li><span class="section"><a href="entering-text.html">Inserting and Deleting Text</a></span></li><li><span class="section"><a href="undo-redo.html">Undo and Redo</a></span></li><li><span class="section"><a href="words.html">Working With Words</a></span><ul><li><span class="section"><a href="words.html#d0e2879">What's a Word?Working With LinesWorking With ParagraphsWrapping Long LinesScrollingTransferring TextMarkersSearch and Replace6. Editing Source Code7. Customizing jEdit8. Using Macros9. Installing and Using PluginsA. Keyboard ShortcutsB. The Activity LogC. History Text FieldsD. Glob PatternsE. Regular ExpressionsF. Macros Included With jEdit
|
|
|
|
|
|