User Settings are global settings that Visual Studio Code offers for each extension. The VEX User Settings can be used to configure the VEX Extension based on a user's preferences.
Access the VEX User Settings
Select the settings icon at the bottom left of the VS Code User Interface.
The context menu will appear. Select Settings.
The Settings window will open.
Select Extensions to expand the list and view its items.
Scroll to the bottom of the Extensions list and select VEX.
The VEX User Settings will appear in the right-hand panel.
VEX User Settings Overview
Some settings in the VEX User Settings do not apply to VEX AIM. The list below shows only the settings specific to VEX AIM.
General: Enable User Terminal
Enables the VEX Extension to open the user serial port on startup. Default is Enable.
Project: Home
Sets the default directory where new projects are created.
Project: Run After Download
Sets whether a program automatically runs after download. Default is unchecked.
Python: SDK Home
Sets the install location of the Python SDK. Do not edit this setting.
Websocket Server: Enable
Enables the Websocket Server for real-time device communication. Default is Disable.
Websocket Server: Host Address
Sets the IP address used to access the Websocket Server.
Websocket Server: Port
Sets the port number used by the Websocket Server.