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

Quick improvements to #65 #68

Merged
merged 3 commits into from Jun 26, 2020
Merged

Quick improvements to #65 #68

merged 3 commits into from Jun 26, 2020

Conversation

icebeam030
Copy link
Contributor

This should make future changes easier to different people especially if we consider adding a high contrast version of the theme.

@simurai simurai added this to 🚧 Work in Progress in 📦 GitHub theme release tracking via automation Jun 26, 2020
src/theme.js Outdated
@@ -10,7 +10,8 @@ function getTheme({ style, name }) {

const primer = getColors(style);

const foreground = pick({ light: primer.gray[8], dark: primer.gray[7] });
const nonEditorForeground = pick({ light: primer.gray[8], dark: primer.gray[7] });
Copy link
Contributor

Choose a reason for hiding this comment

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

Should we call nonEditorForeground 👉 workbenchForeground instead? It seems that's how VS Code calls these two areas: https://code.visualstudio.com/docs/getstarted/themes#_customizing-a-color-theme

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yeah good suggestion.

Copy link
Contributor

@simurai simurai left a comment

Choose a reason for hiding this comment

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

Great! 👍 🙇

📦 GitHub theme release tracking automation moved this from 🚧 Work in Progress to ✅ Approved for release Jun 26, 2020
@simurai simurai merged commit 9da40f8 into primer:master Jun 26, 2020
📦 GitHub theme release tracking automation moved this from ✅ Approved for release to 💜 Done Jun 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

2 participants