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.

Sign up for GitHub

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

Jump to bottom

Update Scala to v0.1.0 #1507

Merged
merged 2 commits into from
Oct 10, 2024
Merged

Update Scala to v0.1.0 #1507

merged 2 commits into from
Oct 10, 2024

Conversation

WeetHet
Copy link
Contributor

@WeetHet WeetHet commented Oct 10, 2024 •
edited
Loading

  • Added highlighting support for auto completions and symbol search
  • Added runnable tags for the main three ways scala apps can be run
  • Set tab_size to 2

@cla-bot cla-bot bot added the cla-signed label Oct 10, 2024
@filipwiech
Copy link
Contributor

filipwiech commented Oct 10, 2024 •
edited
Loading

Thank you for the improvements! 👍 I think we need to update the version in the extensions.toml file in this repository as well, see the previous PR #1313 for an example. 🙂

@WeetHet
Copy link
Contributor Author

WeetHet commented Oct 10, 2024

Thank you for the improvements! 👍 I think we need to update the version in the extensions.toml file in this repository as well, see the previous PR #1313 for an example. 🙂

Yeah, I've completely forgotten about that. Updating the version in three places is a recipe for disaster, you would absolutely forget to do it in one of them

@maxdeviant maxdeviant changed the title Update scala to 0.1.0 Update Scala to v0.1.0 Oct 10, 2024
@maxdeviant maxdeviant merged commit 5c96888 into zed-industries:main Oct 10, 2024
2 checks passed
@WeetHet WeetHet deleted the update-scala branch October 10, 2024 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@maxdeviant maxdeviant maxdeviant approved these changes

Assignees
No one assigned
Labels
cla-signed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@WeetHet @filipwiech @maxdeviant