jeans/arduino-ide
jeans/arduino-ide
1
0
Fork 0
mirror of https://github.com/arduino/arduino-ide.git synced 2025-06-10 06:06:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

move language server preference to advanced

Browse Source
This commit is contained in:
Alberto Iannaccone 2021-11-29 15:03:03 +01:00 committed by GitHub
parent a090dfe99c
commit 6e34a27b7e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
arduino-ide-extension/src/browser/settings.tsx
View File

@ -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<any>(COMPILE_WARNINGS_SETTING, 'None'),
this.preferenceService.get<boolean>(UPLOAD_VERBOSE_SETTING, true),
this.preferenceService.get<boolean>(UPLOAD_VERIFY_SETTING, true),
this.preferenceService.get<boolean>(LANGUAGE_LOG_SETTING, true),
this.preferenceService.get<boolean>(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'
)}
</label>
<label className="flex-line">
<input
type="checkbox"
checked={this.state.enableLsLogs}
onChange={this.enableLsLogsDidChange}
/>
{nls.localize(
'arduino/preferences/languageServerLogging',
'Enable language server logging'
)}
</label>
<div className="flex-line">
{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<HTMLInputElement>
) => {
this.setState({ enableLsLogs: event.target.checked });
};
protected interfaceScaleDidChange = (
event: React.ChangeEvent<HTMLInputElement>
) => {