Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: words.html Sprache: HTML

Original von: Isabelle^©

products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/words.html

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Working With Words</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="editing.html" title="Chapter 5. Editing Text"><link rel="prev" href="undo-redo.html" title="Undo and Redo"><link rel="next" href="lines.html" title="Working With Lines"></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">Working With Words</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="undo-redo.html">Prev</a> </td><th width="60%" align="center">Chapter 5. Editing Text</th><td width="20%" align="right"> <a accesskey="n" href="lines.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="words"></a>Working With Words</h2></div></div></div><p><code class="keycap">C+LEFT</code> and <code class="keycap">C+RIGHT</code> move the
        caret a word at a time. Holding down <code class="keycap">Shift</code> in addition
        to the above extends the selection a word at a time.</p><p>A single word can be selected by double-clicking with the mouse,
        or using the <span class="guimenu"><strong>Edit</strong></span>><span class="guisubmenu"><strong>More
        Selection</strong></span>><span class="guimenuitem"><strong>Select Word</strong></span> command
        (shortcut: <code class="keycap">C+e w</code>). A selection that begins and ends on
        word boundaries can be created by double-clicking and dragging.</p><p><code class="keycap">C+BACKSPACE</code> and <code class="keycap">C+DELETE</code> delete
        the word before or after the caret, respectively.</p><p><span class="guimenu"><strong>Edit</strong></span>><span class="guimenuitem"><strong>Complete
        Word</strong></span> (shortcut: <code class="keycap">C+b</code>) locates possible
        completions for the word at the caret, first by looking in the current
        edit mode's syntax highlighting keyword list, and then in the current
        buffer for words that begin with the word at the caret. This serves as a
        very basic code completion feature.</p><p>If there is only one completion, it will be inserted into the
        buffer immediately.</p><p>If multiple completions were found, the longest common prefix is
        inserted into the buffer, and a popup is shown below the caret position
        listing the completions.</p><p>To insert a completion from the list, either select it using the
        <code class="keycap">UP</code> and <code class="keycap">DOWN</code> keys and press
        <code class="keycap">ENTER</code>, press a digit to insert one of the first ten
        completions (1 is the first completion; 9 is the 9th; 0 is the 10th), or
        click the desired completion with the mouse. To close the popup without
        inserting a completion, press <code class="keycap">ESCAPE</code>.</p><p>Typing while the popup is visible will automatically update the
        popup and narrow the set of completions as necessary.</p><p>The default word completion uses the visible buffers (buffers
        being shown in an EditPane) to find completions. The set of possible
        words can be expanded by enabling the <span class="guimenuitem"><strong>Global Options - Text
        Area - Complete words from all open buffers</strong></span> option.
        Setting this option will use all open buffers to search for possible
        completions. Note, this can degrade completion performance if many
        buffers are open.</p><p><span class="guimenu"><strong>Edit</strong></span>><span class="guimenuitem"><strong>Word Count</strong></span>
        displays a dialog box with the number of characters, words and lines in
        the current buffer.</p><div class="section"><div class="titlepage"><div><div><h3 class="title"><a name="d0e2879"></a>What's a Word?

The default behavior of the C+LEFT,
            <code class="keycap">C+RIGHT</code>, <code class="keycap">C+BACKSPACE</code> and
            <code class="keycap">C+DELETE</code> commands is to stop both at the beginning
            and the end of each word. Normally, a word is a sequence of
            alphanumerics, but you can add other characters as part of
            what jEdit considers to be a 'word', set on a global or mode basis
            from <span class="guimenuitem"><strong>Global Options -  Editing - Extra Word
            Characters</strong></span>.
            In addition, this behavior can be changed by remapping
            these keystrokes to alternative actions whose names end with
            <span class="guimenuitem"><strong>(Eat Whitespace)</strong></span> in the
            <span class="guibutton"><strong>Shortcuts</strong></span> pane of the
            <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Options</strong></span>
            dialog box; see <a class="xref" href="global-opts.html#shortcuts-pane" title="The Shortcuts Pane">the section called “The Shortcuts Pane”</a>.</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="undo-redo.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="editing.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="lines.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Undo and Redo </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Working With Lines</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.18 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.