| products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/customizing.html |
 |
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<title>Chapter 7. Customizing jEdit</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="using-jedit-part.html" title="Part I. Using jEdit"><link rel="prev" href="folding.html" title="Folding"><link rel="next" href="buffer-opts.html" title="The Buffer Options Dialog Box"></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">Chapter 7. Customizing jEdit</th></tr><tr><td width="20%" align="left"><a accesskey="p" href="folding.html">Prev</a> </td><th width="60%" align="center">Part I. Using jEdit</th><td width="20%" align="right"> <a accesskey="n" href="buffer-opts.html">Next</a></td></tr></table><hr></div><div class="chapter"><div class="titlepage"><div><div><h2 class="title"><a name="customizing"></a>Chapter 7. Customizing jEdit</h2></div></div></div><div class="toc"><p><b>Table of Contents</b></p><ul class="toc"><li><span class="section"><a href="buffer-opts.html">The Buffer Options Dialog Box</a></span></li><li><span class="section"><a href="buffer-local.html">Buffer-Local Properties</a></span></li><li><span class="section"><a href="global-opts.html">The Global Options Dialog Box</a></span><ul><li><span class="section"><a href="global-opts.html#general-pane">The General Pane</a></span></li><li><span class="section"><a href="global-opts.html#abbrevs-pane">The Abbreviations Pane</a></span></li><li><span class="section"><a href="global-opts.html#appearance-pane">The Appearance Pane</a></span></li><li><span class="section"><a href="global-opts.html#context-pane">The Context Menu Pane</a></span></li><li><span class="section"><a href="global-opts.html#docking-pane">The Docking Pane</a></span></li><li><span class="section"><a href="global-opts.html#editing-pane">The Editing Pane</a></span></li><li><span class="section"><a href="global-opts.html#encodings-pane">The Encodings Pane</a></span></li><li><span class="section"><a href="global-opts.html#gutter-pane">The Gutter Pane</a></span></li><li><span class="section"><a href="global-opts.html#large-files-pane"> The Large Files Pane </a></span></li><li><span class="section"><a href="global-opts.html#mouse-pane">The Mouse Pane</a></span></li><li><span class="section"><a href="global-opts.html#pluginmgr-pane">The Plugin Manager Pane</a></span></li><li><span class="section"><a href="global-opts.html#printing-pane">The Printing Pane</a></span></li><li><span class="section"><a href="global-opts.html#firewall-pane">The Proxy Servers Pane</a></span></li><li><span class="section"><a href="global-opts.html#saving-backup-pane">The Saving and Backup Pane</a></span></li><li><span class="section"><a href="global-opts.html#shortcuts-pane">The Shortcuts Pane</a></span></li><li><span class="section"><a href="global-opts.html#status-bar-pane">The Status Bar Pane</a></span></li><li><span class="section"><a href="global-opts.html#syntax-hilite-pane">The Syntax Highlighting Pane</a></span></li><li><span class="section"><a href="global-opts.html#text-area-pane">The Text Area Pane</a></span></li><li><span class="section"><a href="global-opts.html#toolbar-pane">The Tool Bar Pane</a></span></li><li><span class="section"><a href="global-opts.html#view-pane">The View Pane</a></span></li><li><span class="section"><a href="global-opts.html#vfs-browser-pane">The File System Browser Panes</a></span></li></ul></li><li><span class="section"><a href="settings-directory.html">The jEdit Settings Directory</a></span><ul><li><span class="section"><a href="settings-directory.html#propertiesfile">The jEdit properties file</a></span></li><li><span class="section"><a href="settings-directory.html#sitepropertiesfiles">Site Properties</a></span></li></ul></li></ul></div></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer"><tr><td width="40%" align="left"><a accesskey="p" href="folding.html">Prev</a> </td><td width="20%" align="center"><a accesskey="u" href="using-jedit-part.html">Up</a></td><td width="40%" align="right"> <a accesskey="n" href="buffer-opts.html">Next</a></td></tr><tr><td width="40%" align="left" valign="top">Folding </td><td width="20%" align="center"><a accesskey="h" href="index.html">Home</a></td><td width="40%" align="right" valign="top"> The Buffer Options Dialog Box</td></tr></table></div></body></html>
¤ Dauer der Verarbeitung: 0.1 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.
|
