Skip to content
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

Bump formatter #241

Merged
merged 2 commits into from
Aug 25, 2023
Merged

Bump formatter #241

merged 2 commits into from
Aug 25, 2023

Conversation

rvanasa
Copy link
Contributor

@rvanasa rvanasa commented Aug 25, 2023

No description provided.

@rvanasa rvanasa merged commit 6327918 into master Aug 25, 2023
1 check passed
@rvanasa rvanasa deleted the bump-formatter branch August 25, 2023 20:55
rvanasa added a commit that referenced this pull request Aug 26, 2023
* Bump formatter

* 0.13.12
rvanasa added a commit that referenced this pull request Aug 26, 2023
* Misc improvements

* Misc

* Add 'name' to 'Definition' when possible

* Improve go-to-definition for object pattern aliases

* Remove commented code

* Refactor

* Improve type checking UX (#239)

* Adjust 'processQueue()' logic

* Optimize main file type checking

* Increase main file type checking debounce

* Fix type checker sometimes using outdated file content

* 0.13.11

* Refactor for clarity

* Cancel checking workspace on file change

* Add notification on Mops / Vessel package configuration error (#240)

* Add notification for error in Mops / Vessel configuration

* Add 'View logs' button to error message

* Adjust error message detail rendering

* Bump formatter (#241)

* Bump formatter

* 0.13.12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant