-
Notifications
You must be signed in to change notification settings - Fork 198
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
Small optimisations #42
Conversation
Yeah, makes sense to remove the generated files from git to prevent any confusion. This paired with a GitHub action to auto-publish the theme (when a new GitHub Release is created) will be really powerful. |
Tried it out locally. It seems to work fine for the first change, but then when making another change I get this:
Anything wrong with my setup or does |
I forgot to add the |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ok, I think this is good to 🚢 👍
While working on #40 I found a few small things which could make contributions easier. I created a PR directly instead of opening an issue because the changes could be made easily. If you don't want to go forward with this, feel free to close it. 😊
Here are the changes and their explanation:
src/theme.js
is source of truth and to prevent theme source and themes going out of sync. In my previous PR I made the changes directly onthemes/dark.json
through GitHub's web interface without noticing that was the wrong way to do it.Run Extension Without Build
config to enable running extension as before.npm start
the default build task so that it can be started with shortcutcmd + shift + B
.