jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-11-16 05:39:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

add auto update preferences

Browse Source
This commit is contained in:
Francesco Stasi
2021-12-21 17:52:10 +01:00
parent db373c825c
commit 343925c338
2 changed files with 34 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
arduino-ide-extension/src/browser/arduino-preferences.ts
View File

@@ -66,11 +66,20 @@ export const ArduinoConfigSchema: PreferenceSchema = {
},
'arduino.ide.autoUpdate': {
type: 'boolean',
default: true,
description: nls.localize(
'arduino/preferences/ide.autoUpdate',
'True to enable automatic update checks. The IDE will check for updates automatically and periodically.'
'True to enable automatic updates'
),
},
'arduino.ide.updateChannel': {
type: 'string',
enum: ['latest', 'nightly', 'none'],
default: 'none',
description: nls.localize(
'arduino/preferences/ide.updateChannel',
'Release channel to get updated from. Latest is the stable release, nightly is the latest development build.'
),
default: true,
},
'arduino.board.certificates': {
type: 'string',
@@ -171,7 +180,8 @@ export interface ArduinoConfiguration {
'arduino.upload.verify': boolean;
'arduino.window.autoScale': boolean;
'arduino.window.zoomLevel': number;
'arduino.ide.autoUpdate': boolean;
'arduino.window.autoUpdate': boolean;
'arduino.ide.updateChannel': 'latest' | 'nightly' | 'none';
'arduino.board.certificates': string;
'arduino.sketchbook.showAllFiles': boolean;
'arduino.cloud.enabled': boolean;