Chapter 7. Customizing jEdit
Prev
Part I. Using jEdit
Next
Chapter 7. Customizing jEdit
Table of Contents
The Buffer Options Dialog Box
Buffer-Local Properties
The Global Options Dialog Box
The General Pane
The Abbreviations Pane
The Appearance Pane
The Context Menu Pane
The Docking Pane
The Editing Pane
The Encodings Pane
The Gutter Pane
The Mouse Pane
The Plugin Manager Pane
The Printing Pane
The Proxy Servers Pane
The Saving and Backup Pane
The Shortcuts Pane
The Status Bar Pane
The Syntax Highlighting Pane
The Text Area Pane
The Tool Bar Pane
The View Pane
The File System Browser Panes
The jEdit Settings Directory
The jEdit properties file
Site Properties