Settings Menu
Last updated
Was this helpful?
Last updated
Was this helpful?
Shortcut: Ctrl + ,
The settings available at the top of the preferences pane enable the user to load, save, and save default preferences.
Displays the path to the preferences file from which the current preferences were loaded.
Load: Allows the selection of a new preferences .pxt file.
Save As: Allows the current preferences to be saved as a new .pxt file.
Load: Allows previously specified default preferences to be selected and loaded.
Save As Default: Allows the current preferences to be saved as a new set of default preferences.