Code Editing

Last modified: 26 May 2024

Use the Code Editing page of the Settings dialog to configure the general code editing options.