products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/util image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: encodings.html   Sprache: HTML

Original von: Isabelle©

 products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/undo-redo.html


<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Undo and Redo</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="entering-text.html" title="Inserting and Deleting Text"><link rel="next" href="words.html" title="Working With Words"></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">Undo and Redo</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="entering-text.html">Prev</a> </td><th width="60%" align="center">Chapter 5. Editing Text</th><td width="20%" align="right"> <a accesskey="n" href="words.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="undo-redo"></a>Undo and Redo</h2></div></div></div><p><span class="guimenu"><strong>Edit</strong></span>><span class="guimenuitem"><strong>Undo</strong></span>
        (shortcut: <code class="keycap">C+z</code>) reverses the most recent editing
        command. For example, this can be used to restore unintentionally
        deleted text. More complicated operations, such as a search and replace,
        can also be undone.</p><p>If you undo too many changes,
        <span class="guimenu"><strong>Edit</strong></span>><span class="guimenuitem"><strong>Redo</strong></span> (shortcut:
        <code class="keycap">C+e C+z</code>) can restore the changes again. For example, if
        some text was inserted, <span class="guimenuitem"><strong>Undo</strong></span> will remove it
        from the buffer. <span class="guimenuitem"><strong>Redo</strong></span> will insert it
        again.</p><p>By default, the last 100 edits is retained; older edits cannot be
        undone. The maximum number of undos and whether undos are reset when a
        buffer is saved can be changed in the <span class="guibutton"><strong>Editing</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#editing-pane" title="The Editing Pane">the section called “The Editing Pane”</a>.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="entering-text.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="words.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Inserting and Deleting Text </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Working With Words</td></tr></table></div></body></html>

¤ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet)  ¤





Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff