From 807a31817bec5e20b9d56bf3da28508303ea9486 Mon Sep 17 00:00:00 2001 From: Alberto Iannaccone Date: Fri, 26 Nov 2021 12:45:58 +0100 Subject: [PATCH] remove language server log preference --- .../src/browser/settings.tsx | 29 ------------------- 1 file changed, 29 deletions(-) diff --git a/arduino-ide-extension/src/browser/settings.tsx b/arduino-ide-extension/src/browser/settings.tsx index ef2017791..17bb959bc 100644 --- a/arduino-ide-extension/src/browser/settings.tsx +++ b/arduino-ide-extension/src/browser/settings.tsx @@ -44,7 +44,6 @@ const WINDOW_SETTING = `${ARDUINO_SETTING}.window`; // const IDE_SETTING = `${ARDUINO_SETTING}.ide`; const COMPILE_SETTING = `${ARDUINO_SETTING}.compile`; const UPLOAD_SETTING = `${ARDUINO_SETTING}.upload`; -const LANGUAGE_SETTING = `${ARDUINO_SETTING}.language`; const SKETCHBOOK_SETTING = `${ARDUINO_SETTING}.sketchbook`; const AUTO_SCALE_SETTING = `${WINDOW_SETTING}.autoScale`; const ZOOM_LEVEL_SETTING = `${WINDOW_SETTING}.zoomLevel`; @@ -53,7 +52,6 @@ const COMPILE_VERBOSE_SETTING = `${COMPILE_SETTING}.verbose`; const COMPILE_WARNINGS_SETTING = `${COMPILE_SETTING}.warnings`; const UPLOAD_VERBOSE_SETTING = `${UPLOAD_SETTING}.verbose`; const UPLOAD_VERIFY_SETTING = `${UPLOAD_SETTING}.verify`; -const LANGUAGE_LOG_SETTING = `${LANGUAGE_SETTING}.log`; const SHOW_ALL_FILES_SETTING = `${SKETCHBOOK_SETTING}.showAllFiles`; export interface Settings extends Index { @@ -69,7 +67,6 @@ export interface Settings extends Index { compilerWarnings: CompilerWarnings; // `arduino.compile.warnings` verboseOnUpload: boolean; // `arduino.upload.verbose` verifyAfterUpload: boolean; // `arduino.upload.verify` - enableLsLogs: boolean; // `arduino.language.log` sketchbookShowAllFiles: boolean; // `arduino.sketchbook.showAllFiles` sketchbookPath: string; // CLI @@ -127,7 +124,6 @@ export class SettingsService { compilerWarnings, verboseOnUpload, verifyAfterUpload, - enableLsLogs, sketchbookShowAllFiles, cliConfig, ] = await Promise.all([ @@ -151,7 +147,6 @@ export class SettingsService { this.preferenceService.get(COMPILE_WARNINGS_SETTING, 'None'), this.preferenceService.get(UPLOAD_VERBOSE_SETTING, true), this.preferenceService.get(UPLOAD_VERIFY_SETTING, true), - this.preferenceService.get(LANGUAGE_LOG_SETTING, true), this.preferenceService.get(SHOW_ALL_FILES_SETTING, false), this.configService.getConfiguration(), ]); @@ -169,7 +164,6 @@ export class SettingsService { compilerWarnings, verboseOnUpload, verifyAfterUpload, - enableLsLogs, sketchbookShowAllFiles, additionalUrls, sketchbookPath, @@ -249,7 +243,6 @@ export class SettingsService { compilerWarnings, verboseOnUpload, verifyAfterUpload, - enableLsLogs, sketchbookPath, additionalUrls, network, @@ -315,11 +308,6 @@ export class SettingsService { verifyAfterUpload, PreferenceScope.User ), - this.preferenceService.set( - LANGUAGE_LOG_SETTING, - enableLsLogs, - PreferenceScope.User - ), this.preferenceService.set( SHOW_ALL_FILES_SETTING, sketchbookShowAllFiles, @@ -581,17 +569,6 @@ export class SettingsComponent extends React.Component< 'Editor Quick Suggestions' )} -
{nls.localize( 'arduino/preferences/additionalManagerURLs', @@ -814,12 +791,6 @@ export class SettingsComponent extends React.Component< this.setState({ autoScaleInterface: event.target.checked }); }; - protected enableLsLogsDidChange = ( - event: React.ChangeEvent - ) => { - this.setState({ enableLsLogs: event.target.checked }); - }; - protected interfaceScaleDidChange = ( event: React.ChangeEvent ) => {