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

Tab top borders #81

Closed
2 tasks done
arcticicestudio opened this issue Jun 28, 2018 · 0 comments
Closed
2 tasks done

Tab top borders #81

arcticicestudio opened this issue Jun 28, 2018 · 0 comments
Labels
context-ui scope-ux type-feature
Milestone
version-0.7.0

Comments

@arcticicestudio
Copy link
Contributor

arcticicestudio commented Jun 28, 2018 •
edited
Loading

VS Code 1.24 (May 2018) introduced new theme keys for showing a border at the top of a tab.

Tasks

UI

  • tab.activeBorderTop
  • tab.unfocusedActiveBorderTop
@arcticicestudio arcticicestudio added this to the 0.7.0 milestone Jun 28, 2018
arcticicestudio added a commit that referenced this issue Jun 30, 2018
@arcticicestudio
Add theme keys for tab top borders
442f961 
VS Code 1.24 (1) (May 2018) introduced new theme keys for showing a
border at the top of a tab (2).

References:

  (1) https://code.visualstudio.com/updates/v1_24
  (2) https://code.visualstudio.com/updates/v1_24#_new-theme-colors

GH-81
@arcticicestudio arcticicestudio mentioned this issue Jun 30, 2018
Merged
@arcticicestudio arcticicestudio self-assigned this Mar 21, 2019
arcticicestudio added a commit that referenced this issue Mar 21, 2019
@arcticicestudio
Add theme keys for tab top borders
e393ddd 
VS Code 1.24 (1) (May 2018) introduced new theme keys for showing a
border at the top of a tab (2).

References:

  (1) https://code.visualstudio.com/updates/v1_24
  (2) https://code.visualstudio.com/updates/v1_24#_new-theme-colors

GH-81
arcticicestudio added a commit that referenced this issue Mar 21, 2019
@arcticicestudio
Merge pull request #94 from arcticicestudio/feature/gh-81-tab-top-bor…
d5a6f7e 
…ders

Tab top borders
@arcticicestudio arcticicestudio removed their assignment Mar 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
context-ui scope-ux type-feature
Projects
None yet
Milestone
version-0.7.0
Development

No branches or pull requests
1 participant
@arcticicestudio