Positron Pro Settings

Preview

Positron Pro is highly customizable due to the extent of changeable settings. Settings in Positron Pro allow you to modify almost all aspects, including the editor’s appearance, code formatting, and other behaviors. There are two different scopes for settings:

This page covers some of the types of settings in Positron Pro and how to edit them. For setting recommendations please refer to Recommended Settings and Extensions.

Note

Your Workbench Administrator may have preset user settings for Positron Pro sessions. See the Administrator Guide on Positron Pro User Settings for more information.

Types of settings

User settings

Users can modify settings from the Settings editor or directly edit settings.json files.

Settings editor

To modify the settings using the Settings editor, click the Manage gear icon and select Settings.

Access Settings editor via Manage icon

Access Settings editor from the Manage icon

When utilizing the Settings editor, either of the first two tabs can change User settings:

  • User

  • Remote [<SERVER_ADDRESS:PORT>]

    SERVER_ADDRESS is your actual Posit Workbench server address and the port it is using.

Setting editor tabs{fig-alt=“Positron Pro settings UI tabs”}

File menu

To modify the settings using the file menu, click menu > File > Preferences > Settings:

Settings editor file menu

Access Settings editor from the File menu

Editing the JSON file

All user settings are specified in a settings.json file. You can customize these settings by editing the settings.json file directly or using the Settings editor.

To edit settings.json, utilize the Command Palette:

  • Cmd + Shift + P for macOS or Ctrl + Shift + P for Windows
  • Then, type: “Preferences: Open User Settings (JSON)”

Example of settings.json contents in the file pane

Example of settings.json contents

Workspace Settings

Each Workspace setting is specified in .vscode/settings.json within the workspace folder.

Workspace settings mirror User settings but take precedence when you open a Workspace. You can change the settings by:

  • Editing the JSON file or
  • Using the Settings editor and selecting the Workspace tab.
Back to top