Tools

File | Settings | Tools for Windows and Linux

","

MPS | Settings | Tools for macOS

","

Ctrl+Alt+S $\"the$

"]}">

When you select the Tools category in the left-hand pane, its main subcategories are listed in the right-hand part of the dialog.

Last modified: 11 February 2024