Skip to content

Notify running LS about build complete. #33

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jul 11, 2022

Conversation

kittaakos
Copy link
Contributor

New:

Ref: arduino/arduino-ide#714

Signed-off-by: Akos Kitta [email protected]

@kittaakos kittaakos force-pushed the arduino/arduino-ide#714 branch from 404d8dd to 3dbfd72 Compare July 11, 2022 14:11
@kittaakos kittaakos requested a review from fstasi July 11, 2022 14:26
Copy link
Contributor

@fstasi fstasi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

one minor comment, lgtm

} catch (e) {
console.log(e);
} catch (err) {
console.error('Failed to start the language server.', err);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why did you prefer the console.error over the showError function?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good question; the original code does not show the error if the LS failed to start. I did not want to change this behavior, but I could do it.

Note, if we use vscode.window.showErrorMessage here, it will be a notification message in IDE2.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The only effective change here is that I use console.error instead of console.log with an additional Failed to start the language server. message.

@kittaakos kittaakos merged commit adf7831 into arduino:main Jul 11, 2022
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself labels Jul 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants