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.

Sign up for GitHub

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

Jump to bottom

Implement #68408 #68412

Merged
merged 2 commits into from Feb 11, 2019
Merged

Implement #68408 #68412

merged 2 commits into from Feb 11, 2019

Conversation

sandy081
Copy link
Member

Implement #68408

@sandy081 sandy081 added themes Color theme issues extensions Issues concerning extensions labels Feb 11, 2019
@sandy081 sandy081 added this to the February 2019 milestone Feb 11, 2019
@sandy081 sandy081 self-assigned this Feb 11, 2019
@aeschli
Copy link
Contributor

aeschli commented Feb 11, 2019

Should also do the same for file icons...

@sandy081 sandy081 merged commit 35ed356 into master Feb 11, 2019
@sandy081 sandy081 deleted the sandy081/68408 branch February 11, 2019 15:28
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@aeschli aeschli Awaiting requested review from aeschli

Assignees

@sandy081 sandy081

Labels
extensions Issues concerning extensions themes Color theme issues
Projects
None yet
Milestone
February 2019
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@sandy081 @aeschli