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