editor

The user interface for changing the settings, displayed in IntelliJ's settings window.