properties

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