Stufen

Die Firma ist wie angegeben erreichbar. Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


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: Move_Lines_Up.bsh Sprache: HTML

Untersuchung Isabelle^©

products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/buffer-opts.html

<html><head>
      <meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
   <title>The Buffer Options Dialog Box</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="customizing.html" title="Chapter 7. Customizing jEdit"><link rel="prev" href="customizing.html" title="Chapter 7. Customizing jEdit"><link rel="next" href="buffer-local.html" title="Buffer-Local Properties"></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">The Buffer Options Dialog Box</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="customizing.html">Prev</a> </td><th width="60%" align="center">Chapter 7. Customizing jEdit</th><td width="20%" align="right"> <a accesskey="n" href="buffer-local.html">Next</a></td></tr></table><hr></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a name="buffer-opts"></a>The Buffer Options Dialog Box</h2></div></div></div><p><span class="guimenu"><strong>Utilities</strong></span>><span class="guimenuitem"><strong>Buffer
        Options</strong></span> displays a dialog box for changing editor settings
        on a per-buffer basis. Changes made in this dialog box are not retained
        after the buffer is closed.</p><p>The following settings can be changed here:</p><div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem"><p>The line separator (see <a class="xref" href="line-separators.html" title="Line Separators">the section called “Line Separators”</a>)</p></li><li class="listitem"><p>The character encoding (see <a class="xref" href="encodings.html" title="Character Encodings">the section called “Character Encodings”</a>)</p></li><li class="listitem"><p>If the file should be GZipped on disk (see <a class="xref" href="opening.html" title="Opening Files">the section called “Opening Files”</a>)</p></li><li class="listitem"><p> Whether to show a dialog or auto-reload when
            this buffer's file is changed on disk.

The edit mode (see the section called “Edit Modes”)

The fold mode (see the section called “Folding”)

The automatic indentation scheme
(see <a class="xref" href="indent.html#autoindent" title="Automatic Indent">the section called “Automatic Indent”</a>)</p></li><li class="listitem"><p>The wrap mode and margin (see <a class="xref" href="word-wrap.html" title="Wrapping Long Lines">the section called “Wrapping Long Lines”</a>)</p></li><li class="listitem"><p>The tab width (see <a class="xref" href="indent.html" title="Tabbing and Indentation">the section called “Tabbing and Indentation”</a>)</p></li><li class="listitem"><p>The indent width</p></li><li class="listitem"><p>If soft tabs should be used (see <a class="xref" href="indent.html" title="Tabbing and Indentation">the section called “Tabbing and Indentation”</a>)</p></li></ul></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="customizing.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="customizing.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="buffer-local.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Chapter 7. Customizing jEdit </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> Buffer-Local Properties</td></tr></table></div></body></html>