| products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: selection.html Sprache: HTMLOriginal von: Isabelle© |
|
||||||||
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <title>Selecting Text</title><meta name="generator" content="DocBook XSL Stylesheets V1. further manipulation. Range selections are equivalent to selections in most other text editors; they cover text between two points in a buffer. In addition to the standard text-selection mode, jEdit also allows <span class="bold"><strong>rectangular selections</strong></span> that cover a rectangular area (some text editors refer to these as <span class="quote">“<span class="quote">c selections</span>”</span>). Furthermore, several chunks of text can be selected and operated on simultaneously.</p><div class="section"><div class="titlepage"><div><div><h3 clas mouse was pressed to where it was released. Holding down <code class="keycap">Shift</code> while clicking a location in the buffer will create a selection from the caret position to the clicked location.</p><p>Holding down <code class="keycap">Shift</code> in addition to a caret movement key (<code class="keycap">LEFT</code>, <code class="keycap">UP</code>, <code class="keycap">HOME</code>, etc) will extend a selection in the specified direction.</p><p><span class="guimenu"><strong>Edit</strong></span>><span class="guimenuitem"><str All</strong></span> (shortcut: <code class="keycap">C+a</code>) selects the entire buffer.</p><p><span class="guimenu"><strong>Edit</strong></span>><span class="guisubmenu"><s Selection</strong></span>><span class="guimenuitem"><strong>Select None</strong></span> (shortcut: <code class="keycap">ESCAPE</code>) deactivates the selection.</p></div><div class="section"><div class="titlepage"><div><div><h3 class="title"><a name create a rectangular selection. Holding down <code class="keycap">Shift</code> and <code class="keycap">Control</code> while clicking a location in the buffer will create a rectangular selection from the caret position to the clicked location.</p><p>Alternatively, invoking <span class="guimenu"><strong>Edit</strong></span>><span class="guisubmenu"><strong>More Selection</strong></span>><span class="guimenuitem"><strong>Rectangular Selection</strong></span> (shortcut: <code class="keycap">A+\</code>) toggles rectangular selection mode. In rectangular selection mode, dragging the mouse always creates a rectangular selection, and keyboard commands that would normally create a range selection create a rectangular selection instead. A status bar indicator is shown when this mode is enabled.</p><p>It is possible to select a rectangle with zero width but non-zero height. This can be used to insert a new column between two existing columns, for example. Such zero-width selections are shown as a thin vertical line.</p><p>Inserting text into a rectangular selection repeats the text going down as many times as necessary, and shifts the selection to the right. This makes it behave like a <span class="quote">“<span class="quote">tall</span>”</span> caret.</p><p>Rectangles can be deleted, copied, pasted, and operated on using ordinary editing commands. If necessary, rectangular selections are automatically filled in with whitespace to maintain alignment.</p><p>Rectangular selections can extend beyond the end of a line into <span class="quote">“<span class="quote">virtual space</span>”</span>. Furthermore, if keybo rectangular selection mode is on or if the <code class="keycap">Control</code> key is being held down, clicking beyond the end of a line will insert the appropriate amount of whitespace in order to position the cursor at the clicked location.</p><div class="note" style="margin-left: 0.5in; margin-ri offsets, not absolute screen positions, so they might not behave as you might expect if a proportional-width font is being used or if soft wrap is enabled. The text area font can be changed in the <span class="guibutton"><strong>Text Area</strong></span> pane of the <span class="guimenu"><strong>Utilities</strong></span>> <span class="guimenuitem"><strong>Options</strong></span> dialog box. For information about soft wrap, see <a class="xref" href="word-wrap.html" title="Wrapping Long Lines">the section c Selection</strong></span>><span class="guimenuitem"><strong>Multiple Selection</strong></span> (keyboard shortcut: <code class="keycap">C+\</code>) turns multiple selection mode on and off. In multiple selection mode, multiple fragments of text can be selected and operated on simultaneously, and the caret can be moved independently of the selection. The status bar indicates if multiple selection mode is active; see <a class="xref" href="status-bar.html" title="The Status Bar">the section cal selections:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type selection, separated by line breaks, in the specified register.</p></li><li class="listitem"><p>Commands that insert (or paste) text replace each selection with the entire text that is being inserted.</p></li><li class="listitem"><p>Commands that filter text (such as <span class="guimenu to Tabs</strong></span>, <span class="guimenuitem"><strong>Range Comment</strong></span>, <span class="guimenuitem"><strong>Replace in Selection</strong></span>, and so on) behave as if each block was selected independently, and the command invoked on each in turn.</p></li><li class="listitem"><p>Line-based commands (such as <span class="guimenuitem"><s Left</strong></span>, <span class="guimenuitem"><strong>Shift Indent Right</strong></span>, and <span class="guimenuitem"><strong>Line Comment</strong></span>) operate on each line that contains at least one selection.</p></li><li class="listitem"><p>Caret movement commands that would normally the selection (such as the arrow keys, while <code class="keycap">Shift</code> is not being held down), move the caret, leaving the selection as-is.</p></li><li class="listitem"><p>Some older plugins may not sup at all.</p></li></ul></div><p><span class="guimenu"><strong>Edit</strong></span>><span class="guisubmen Selection</strong></span>><span class="guimenuitem"><strong>Select None</strong></span> (shortcut: <code class="keycap">ESCAPE</code>) deactivates the selection containing the caret, if there is one. Otherwise it deactivates all active selections.</p><p><span class="guimenu"><strong>Edit</strong></span>><span class="guisubme Selection</strong></span>><span class="guimenuitem"><strong>Invert Selection</strong></span> (shortcut: <code class="keycap">C+e C+i</code>) selects a set of text chunks such that all text that was formerly part of a selection is now unselected, and all text that wasn't, is selected.</p><div class="note" style="margin-left: 0.5in; margin-right: 0.5in;"><h3 clas of text are selected will leave the selections in place, but you will not be able to add new selections until multiple selection mode is reactivated.</p></div></div></div><div class="navfooter"><hr><table width="100%" summary=" ¤ Dauer der Verarbeitung: 0.17 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 |
