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

style: improve editor tab text style #1500

Merged
merged 1 commit into from
Aug 12, 2022
Merged

Conversation

erha19
Copy link
Member

@erha19 erha19 commented Aug 12, 2022

Types

  • 💄 Style Changes

Background or solution

before:

image

after:

image

Changelog

improve editor tab text style

@codecov
Copy link

codecov bot commented Aug 12, 2022

Codecov Report

Merging #1500 (c8d56ea) into main (ac49c65) will increase coverage by 0.00%.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1500   +/-   ##
=======================================
  Coverage   57.89%   57.89%           
=======================================
  Files        1248     1248           
  Lines       77716    77716           
  Branches    16224    16224           
=======================================
+ Hits        44994    44996    +2     
+ Misses      29800    29798    -2     
  Partials     2922     2922           
Flag Coverage Δ
jsdom 52.53% <ø> (ø)
node 15.88% <ø> (+<0.01%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
...ages/file-service/src/node/file-service-watcher.ts 69.54% <0.00%> (+1.14%) ⬆️

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

Copy link
Member

@Ricbet Ricbet left a comment

Choose a reason for hiding this comment

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

G

@erha19 erha19 merged commit f00386e into main Aug 12, 2022
@erha19 erha19 deleted the style/editor/improve-text-style branch August 12, 2022 07:02
@erha19 erha19 mentioned this pull request Aug 15, 2022
36 tasks
Ricbet pushed a commit that referenced this pull request Aug 16, 2022
Ricbet pushed a commit that referenced this pull request Aug 16, 2022
Ricbet pushed a commit that referenced this pull request Aug 16, 2022
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.

2 participants