Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: using-jedit-part.html Sprache: HTML

Original von: Isabelle^©

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>This part of the user's guide covers jEdit's text editing
 commands, along with basic usage of macros and plugins.This part of the user's guide was originally written by Slava
 Pestov and is maintained by the jEdit core development team.<div class="toc">Table of Contents<ul class="toc"><li><a href="conventions.html">1. Conventions</a></li><li><a href="starting.html">2. Starting jEdit</a><ul><li><a href="cli-usage.html">Command Line Usage</a><ul><li><a href="cli-usage.html#d0e326">Miscellaneous Options</a></li><li><a href="cli-usage.html#d0e372">Configuration Options</a></li><li><a href="cli-usage.html#d0e471">Edit Server Options</a></li></ul></li><li><a href="jvm-options.html"> Java Virtual Machine Options </a></li></ul></li><li><a href="basics.html">3. jEdit Basics</a><ul><li><a href="overview.html">Interface Overview</a></li><li><a href="views.html">Multiple Views</a></li><li><a href="buffers.html">Switching Buffers</a></li><li><a href="buffersets.html">Buffer Sets and closing buffers</a></li><li><a href="docking.html">Window Docking Layouts</a></li><li><a href="status-bar.html">The Status Bar</a></li><li><a href="action-bar.html">The Action Bar</a></li></ul></li><li><a href="files.html">4. Working With Files</a><ul><li><a href="creating.html">Creating New Files</a></li><li><a href="opening.html">Opening Files</a></li><li><a href="saving.html">Saving Files</a><ul><li><a href="saving.html#d0e1529">Two-Stage Save</a></li><li><a href="saving.html#autosave">Autosave and Crash Recovery</a></li><li><a href="saving.html#backups">Backups</a></li></ul></li><li><a href="line-separators.html">Line Separators</a></li><li><a href="encodings.html">Character Encodings</a><ul><li><a href="encodings.html#d0e1850">Commonly Used Encodings</a></li></ul></li><li><a href="vfs-browser.html">The File System Browser (FSB)</a><ul><li><a href="vfs-browser.html#d0e1921">Navigating the File System</a></li><li><a href="vfs-browser.html#d0e2005">The Tool Bar</a></li><li><a href="vfs-browser.html#d0e2019">The Commands Menu</a></li><li><a href="vfs-browser.html#d0e2085">The Plugins Menu</a></li><li><a href="vfs-browser.html#d0e2095">The Favorites Menu</a></li><li><a href="vfs-browser.html#d0e2112">Keyboard Shortcuts</a></li></ul></li><li><a href="reloading.html">Reloading From Disk</a></li><li><a href="task-monitor.html">Task Monitor, and background I/O tasks</a></li><li><a href="printing.html">Printing</a></li><li><a href="closing-exiting.html">Closing Files and Exiting jEdit</a></li></ul></li><li><a href="editing.html">5. Editing Text</a><ul><li><a href="caret.html">Moving The Caret</a></li><li><a href="selection.html">Selecting Text</a><ul><li><a href="selection.html#d0e2482">Range Selection</a></li><li><a href="selection.html#rect-select">Rectangular Selection</a></li><li><a href="selection.html#multi-select">Multiple Selection</a></li></ul></li><li><a href="keyboard-focus.html"> Keyboard Focus </a></li><li><a href="entering-text.html">Inserting and Deleting Text</a></li><li><a href="undo-redo.html">Undo and Redo</a></li><li><a href="words.html">Working With Words</a><ul><li><a href="words.html#d0e2879">What's a Word?

Working With Lines

Working With Paragraphs

6. Editing Source Code

7. Customizing jEdit

8. Using Macros

9. Installing and Using Plugins

A. Keyboard Shortcuts

B. The Activity Log

C. History Text Fields

D. Glob Patterns

E. Regular Expressions

F. Macros Included With jEdit

jEdit 5.6 User's Guide </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Chapter 1. Conventions</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.20 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

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.