Chapter 6. Customizing jEdit
Table of Contents
The Buffer Options Dialog Box
Buffer-Local Properties
The Global Options Dialog Box
The jEdit Settings Directory