Settings: Preferences

Settings: Preferences

This block of settings contains the general preferences.

• autoSave: Enable the automatic saving of a modified viper file. Deprecated and will be remove with the next Viper release. Use this built-in VSCode functionality instead.
• logLevel: The verbosity of the output. 1: Default, 2: Info, 3: Verbose, 4: Debug, 5: LowLevelDebug
• autoVerifyAfterBackendChange: Should a restart of the backend trigger an automatic re-verification of the open file?
• showProgress: Use a progress bar to display the progress of running operations. The progress is shown in the status bar.
• stableViperToolsProvider: A URL pointing to the operation system specific Viper Tools zip-file that is used in build version Stable.
• nightlyViperToolsProvider: A URL pointing to the operation system specific Viper Tools zip-file that is used in build version Nightly.

Default Settings:

"viperSettings.preferences": {
  "v": "674a514867b1",
  "autoSave": true,
  "logLevel": 3,
  "autoVerifyAfterBackendChange": true,
  "showProgress": true,
  "enableSoundEffects": false,
  "stableViperToolsProvider": {
    "windows": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsWin.zip",
    "linux": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsLinux.zip",
    "mac": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsMac.zip",
    "mac_arm": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsMacARM.zip"
  },
  "nightlyViperToolsProvider": {
    "windows": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsWin.zip&include-prereleases",
    "linux": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsLinux.zip&include-prereleases",
    "mac": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsMac.zip&include-prereleases",
    "mac_arm": "github.com/viperproject/viper-ide/releases/latest?asset-name=ViperToolsMacARM.zip&include-prereleases"
}