products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Emacs/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: word-wrap.html   Sprache: Unknown

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>Wrapping Long Lines</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="paragraphs.html" title="Working With Paragraphs"><link rel="next" href="scrolling.html" title="Scrolling"></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">Wrapping Long Lines</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="paragraphs.html">Prev</a> </td><th width="60%" align="center">Chapter 5. Editing Text</th><td width="20%" align="right"> <a accesskey="n" href="scrolling.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="word-wrap"></a>Wrapping Long Lines</h2></div></div></div><p>The <em class="firstterm">word wrap</em> feature splits lines at word
        boundaries in order to fit text within a specified wrap margin. A word
        boundary, for the purposes of word wrap, means whitespace. Long lines
        without whitespace are currently not wrapped by jEdit. The wrap margin
        position is indicated in the text are as a faint blue vertical line.
        There are two <span class="quote">“<span class="quote">wrap modes</span>”</span>, <span class="quote">“<span class="quote">soft</span>”</span> and
        <span class="quote">“<span class="quote">hard</span>”</span>; they are described below. The current wrap mode is
        shown in the status bar; see <a class="xref" href="status-bar.html" title="The Status Bar">the section called “The Status Bar”</a>. The wrap
        mode can be changed in one of the following ways:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>On a global or mode-specific basis 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></li><li class="listitem"><p>In the current buffer for the duration of the editing
                session,</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: circle; "><li class="listitem"><p>By clicking the status bar indicator.</p></li><li class="listitem"><p>In the
                        <span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Buffer
                        Options</strong></span> dialog box. See <a class="xref" href="buffer-opts.html" title="The Buffer Options Dialog Box">the section called “The Buffer Options Dialog Box”</a>.</p></li><li class="listitem"><p>From the keyboard, if a keyboard shortcut
                    has been assigned to the <span class="guimenuitem"><strong>Built-in
                    Command</strong></span> for <span class="guimenuitem"><strong>Toggle Word
                    Wrap</strong></span> in the <span class="guibutton"><strong>Shortcuts</strong></span>
                    pane of <span class="guimenu"><strong>Global Options</strong></span>. By default, this
                    command does not have a keyboard shortcut, or appear in any menu. </p></li></ul></div></li><li class="listitem"><p>In the current buffer for future editing sessions by
                placing the following in one of the first or last 10 lines of
                the buffer, where <em class="replaceable"><code>mode</code></em> is either
                <span class="quote">“<span class="quote">none</span>”</span>, <span class="quote">“<span class="quote">soft</span>”</span> or <span class="quote">“<span class="quote">hard</span>”</span>,
                and <em class="replaceable"><code>column</code></em> is the desired wrap
                margin:</p><pre class="screen">:wrap=<em class="replaceable"><code>mode</code></em>:maxLineLen=<em class="replaceable"><code>column</code></em>:</pre></li></ul></div><div class="section"><div class="titlepage"><div><div><h3 class="title"><a name="d0e3175"></a>Soft Wrap</h3></div></div></div><p>In soft wrap mode, lines are automatically wrapped when
            displayed on screen. Newlines are not inserted at the wrap
            positions, and the wrapping is automatically updated when text is
            inserted or removed.</p><p>If the margin is set to 0, then the width of the text area
            window is used to determine where to wrap lines.</p><p>If end of line markers are enabled 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, a special character (<span class="quote">“<span class="quote">↩</span>”</span>) is
            painted at the end of wrapped lines. If you are using a font
            that can not display it, or wish to use a different character, you can
            <code class="literal">jEdit.setProperty("view.eolMarkerChar", "↩");</code>
            from the Console beanshell and you will see it after a restart of jEdit.
            To enable/disable or change its color, see <a class="xref" href="global-opts.html#text-area-pane" title="The Text Area Pane">the section called “The Text Area Pane”</a>. </p></div><div class="section"><div class="titlepage"><div><div><h3 class="title"><a name="d0e3201"></a>Hard Wrap</h3></div></div></div><p>In hard wrap mode, inserting text at the end of a line will
            automatically break the line if it extends beyond the wrap margin.
            Inserting or removing text in the middle of a line has no effect,
            however text can be re-wrapped using the
            <span class="guimenu"><strong>Edit</strong></span>><span class="guisubmenu"><strong>Text</strong></span>><span class="guimenuitem"><strong>Format
            Paragraph</strong></span> command. See <a class="xref" href="paragraphs.html" title="Working With Paragraphs">the section called “Working With Paragraphs”</a>.</p><p>Hard wrap is implemented using character offsets, not screen
            positions, so it might not behave like you expect if a
            proportional-width font is being used. 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.</p></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="paragraphs.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="scrolling.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Working With Paragraphs </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Scrolling</td></tr></table></div></body></html>

[ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet)  ]