Settings Menu

Settings Menu

Shortcut: Ctrl + ,‍

The Settings dropdown menu.

The options available at the top of the preferences pane enable the user to load an existing preferences file, load previously saved user-defined default preferences, or save the current preferences as a new preferences file or new user-defined default preferences.

Loaded Preferences File

Displays the path to the preferences file from which the current preferences were loaded.

• Load: Allows an existing preferences .pxt file to be loaded.

• Save As: Allows the current preferences to be saved as a new .pxt file.

Default Preferences

• Load Default: Allows previously saved user-defined default preferences to be selected and loaded.

• Save As Default: Allows the current preferences to be saved as a new set of user-defined default preferences.