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

Add GitHub.com themes #132

Merged
merged 11 commits into from
Apr 14, 2021
Merged

Add GitHub.com themes #132

merged 11 commits into from
Apr 14, 2021

Conversation

simurai
Copy link
Contributor

@simurai simurai commented Feb 2, 2021

This adds the GitHub.com Light + GitHub.com Dark themes. It's the same as #102 (that got reverted), but still keeps the old themes.

  • GitHub Light stays as is
  • GitHub Dark stays as is
  • GitHub Light Default ✨ new ✨
  • GitHub Dark Default ✨ new ✨
  • GitHub Dark Dimmed ✨ new ✨
GitHub.com Light GitHub.com Dark GitHub.com Dimmed
Screen Shot 2021-03-24 at 12 09 35 Screen Shot 2021-03-24 at 12 08 36 Screen Shot 2021-03-24 at 12 07 58

TODO:

  • Decide what names to use
  • Wait for final approval

Note: Currently GitHub Light and GitHub Light Default are almost the same. A bit different contrast for text. It almost feels redundant having both. But who knows, that could change in the future. 🤷

@simurai simurai mentioned this pull request Feb 2, 2021
@Gameghostify
Copy link

@simurai Thank you for this PR, this feels like a really good solution

@davi-mbatista
Copy link

Awesome. Can't wait to have it merged!

@bogdansoare
Copy link

Anything stopping this PR from being merged?

@simurai
Copy link
Contributor Author

simurai commented Feb 10, 2021

Anything stopping this PR from being merged?

I think we still have to decide if GitHub.com Dark is the right name moving forward. /cc @broccolini


If you already wanna try the github.com theme, you can go back to a previous version by clicking on the dropdown next to "Uninstall":

Screen Shot 2021-02-10 at 8 55 03

Then choose "Install Another Version..." and pick 2.0.1:

Screen Shot 2021-02-10 at 9 00 16

@duongleh
Copy link

duongleh commented Feb 16, 2021

I think we still have to decide if GitHub.com Dark is the right name moving forward.

How about this?

  • GitHub.com Light, GitHub Light -> GitHub Light (since they are almost the same)
  • GitHub Dark -> GitHub Dark Classic
  • GitHub.com Dark -> GitHub Dark

"panelTitle.inactiveForeground": color.text.tertiary,
"panelInput.border" : color.border.primary,

"terminal.foreground": color.text.secondary,

This comment was marked as resolved.

@dominicegginton
Copy link
Contributor

@simurai, just noticed that GitHub will be adding, a dimmed and deuteranomaly colorblind theme to GitHub.com. We should add these to the vscode theme extension to keep consistent. This could clear up some of the confusion that was caused when dark mode was released for this extension. Let me know if you need any help on this 😄

@dominicegginton dominicegginton mentioned this pull request Mar 16, 2021
3 tasks
@dominicegginton
Copy link
Contributor

dominicegginton commented Mar 17, 2021

Suggestion

With the addition of the new GitHub.com dimmed theme recently merged into this PR (#138), I believe we can simplify theme names and remove the original themes reducing confusion and simplifying user experience. My suggestion is:

Remove

  • GitHub Light: Due to high similarity to GitHub.com Light
  • GitHub Dark: Due to high similarity to GitHub.com Dimmed

As you can see it is clear that the new old themes are extremely similar to the new .com themes. These old themes have been forked as discussed in #114 and the new dimmed theme addresses the main concern of contrast that resulted in the rollback of the new dark theme in the first place. Due to this, I believe it is not worth supporting the old thems moving forward.

GitHub Light GitHub.com Light
screenshot-Wed-17Mar21_13 15 screenshot-Wed-17Mar21_13 15_000
GitHub Dark GitHub.com Dimmed
screenshot-Wed-17Mar21_13 17 screenshot-Wed-17Mar21_13 18

Rename

  • GitHub.com Light ➡️ GitHub Light
  • GitHub.com Dark ➡️ GitHub Dark
  • GitHub.com Dark Dimmed ➡️ GitHub Dimmed

If removing the original themes it makes sense to rename these removing the .com.

Result

This would leave us with these three themes that follow the new GitHub.com website:

GitHub Light GitHub Dark GitHub Dimmed
screenshot-Wed-17Mar21_13 15_000 screenshot-Wed-17Mar21_13 28 screenshot-Wed-17Mar21_13 18

If anyone has any comments or feedback for this suggestion I'm making please let me know. If this is something people and @simurai want I'm happy to open a PR for review.

@dominicegginton dominicegginton mentioned this pull request Mar 18, 2021
2 tasks
@simurai
Copy link
Contributor Author

simurai commented Apr 2, 2021

Update: With ea02865, the naming of the themes are:

  • GitHub Light stays as is
  • GitHub Dark stays as is
  • GitHub Light Default ✨ new ✨
  • GitHub Dark Default ✨ new ✨
  • GitHub Dark Dimmed ✨ new ✨

I'm not a big fan of the word "Default" in the name, but it allows the old Light/Dark themes to stay and it matches how github.com calls the themes (with switched order):

image

@joshmanders
Copy link

@simurai with these changes can we see an update to the extension soon? I'd really like to turn auto updating for extensions back on. Every time update happens it updates this extension and I have to roll it back, so had to turn auto update off.

@stagefright5
Copy link

I didn't want to be "that" guy, but, come on, this PR has been open for more than 2 months, which is honestly quite ridiculous.
If naming is the concern, that can be decided and changed even after this gets released. Please merge this PR.
Thanks

@dominicegginton
Copy link
Contributor

@stagefright5 I know a lot of people (including me) are excited about the new official themes that will be added with this PR. But I'm sure the GitHub primer team are busy and want to make sure they have a clear and consistent direction to their design system. Remember this is also the default theme for GitHub Codespaces so is important to the GitHub brand image that it's of high standard.

@simurai
Copy link
Contributor Author

simurai commented Apr 6, 2021

If naming is the concern, that can be decided and changed even after this gets released.

We tried to rename it before, but I think VS Code uses the name as the identifier, so we can't really change names later without causing disruptions.

Remember this is also the default theme for GitHub Codespaces

Yep, this is not really a "stand-alone" theme and is part of GitHub's release cycles. So sometimes things can get postponed.

@joshmanders
Copy link

joshmanders commented Apr 6, 2021

Regardless of how long it takes to release, thank you @simurai and everyone for your work. I've been a long time Dracula theme user, since Zeno released it, everywhere a theme for it exists I used it... GitHub's new dark theme is the first time I ever saw a theme that made me want to switch.

@nero120
Copy link

nero120 commented Apr 9, 2021

This looks awesome guys, great work! Looks like the PR is awaiting "final approval" - just wondering who needs to do that as I'm mega impatient to use dark dimmed! Looks like all the dev work has been done right?

@simurai
Copy link
Contributor Author

simurai commented Apr 14, 2021

nonameolsson approved these changes

Ok, in that case, let's merge it. 🚢

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.