Tools Last modified: 30 March 2021File | Settings | Tools for Windows and LinuxMPS | Preferences | Tools for macOSCtrl+Alt+S When you select the Tools category in the left-hand pane, its main subcategories are listed in the right-hand part of the dialog.
