Settings Menu

Settings Menu

Shortcut: Ctrl + ,

The Settings dropdown menu.

‍

The settings available at the top of the preferences pane enable the user to load, save, and save default preferences.

By default, Theia stores preference files in the following directory: C:\Users\Public\Theia\default_prefs

Loaded Preferences File

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.

Default Preferences

• 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.