Skip to content

Split syntax and snippets #3

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 2 commits into from
Oct 2, 2018
Merged

Conversation

gabro
Copy link
Contributor

@gabro gabro commented Apr 16, 2018

This PR is a proposal for splitting the syntax and the snippets into different packages.

The reasoning behind this is that I believe the syntax extension should as minimal as possible and only provide the grammar, while snippets should be opt-in, since they're quite annoying for the users if they trigger unexpectedly.

This is similar to what other languages do on the Marketplace.

Note that I've made the snippets plugin to depend on the syntax one, so that you can't install snippets without the syntax, which would be a cause of confusion.

@olafurpg olafurpg mentioned this pull request Apr 16, 2018
@nicolasstucki nicolasstucki self-assigned this Jun 14, 2018
@nicolasstucki nicolasstucki self-requested a review June 14, 2018 12:04
@smarter smarter assigned Duhemm and unassigned nicolasstucki Sep 14, 2018
@nicolasstucki nicolasstucki removed their request for review October 1, 2018 14:07
@gabro gabro force-pushed the split-snippets-and-syntax branch from 73bef58 to 71fc3fd Compare October 1, 2018 15:58
Copy link
Contributor

@Duhemm Duhemm left a comment

Choose a reason for hiding this comment

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

LGTM, thanks @gabro !

@Duhemm Duhemm merged commit 03227db into scala:master Oct 2, 2018
@gabro gabro deleted the split-snippets-and-syntax branch October 2, 2018 09:31
@gabro
Copy link
Contributor Author

gabro commented Oct 2, 2018

Thank you for merging, @Duhemm! Will you take care of publishing the new plugins on the Marketplace?

@nicolasstucki
Copy link
Contributor

I took care of publishing

@gabro
Copy link
Contributor Author

gabro commented Oct 2, 2018

Thank you, @nicolasstucki!

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.

3 participants