Code Editing

Last modified: 09 June 2022

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