Preferences

The Preferences dialog collects the editor's settings into categories. Plugins contribute their own settings pages, which appear alongside the built-in ones — for example Plugins (enable/disable installed plugins), Theme Editor, Indentation, and Document Statistics.

Note

Enabling or disabling a plugin applies on the next launch — the editor never loads or unloads plugin code while running.