properties
The file named
properties
stores the bulk of jEdit's settings. They can be edited graphically by invoking the
Utilities
>
Global Options
command.