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

Update to latest seti-ui icon theme #136375

Merged
merged 1 commit into from
Nov 4, 2021
Merged

Conversation

adaex
Copy link
Contributor

@adaex adaex commented Nov 3, 2021

This PR follows the steps from CONTRIBUTING.md to pull in updates from seti-ui.

Update icons for Zig, see jesseweed/seti-ui#635

Screenshot of preview.html:

image

@aeschli aeschli merged commit 2e35efa into microsoft:main Nov 4, 2021
@aeschli aeschli added this to the November 2021 milestone Nov 4, 2021
@aeschli aeschli added themes Color theme issues feature-request Request for new features or functionality labels Nov 4, 2021
@aeschli
Copy link
Contributor

aeschli commented Nov 4, 2021

Thanks @adaex !

@adaex adaex deleted the update-seti-ui branch November 4, 2021 08:54
@ghost ghost mentioned this pull request Dec 9, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Dec 19, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality themes Color theme issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants