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

feature: support bold text #1512

Merged
merged 3 commits into from
Jul 30, 2024
Merged

feature: support bold text #1512

merged 3 commits into from
Jul 30, 2024

Conversation

ClementTsang
Copy link
Owner

@ClementTsang ClementTsang commented Jul 30, 2024

Description

A description of the change, what it does, and why it was made. If relevant (such as any change that modifies the UI), please provide screenshots of the changes:

Support bold text as a styling configuration option.

Issue

If applicable, what issue does this address?

Closes: #556

Testing

If relevant, please state how this was tested. All changes must be tested to work:

If this is a code change, please also indicate which platforms were tested:

  • Windows
  • macOS
  • Linux

Checklist

If relevant, ensure the following have been met:

  • Areas your change affects have been linted using rustfmt (cargo fmt)
  • The change has been tested and doesn't appear to cause any unintended breakage
  • Documentation has been added/updated if needed (README.md, help menu, doc pages, etc.)
  • The pull request passes the provided CI pipeline
  • There are no merge conflicts
  • If relevant, new tests were added (don't worry too much about coverage)

@ClementTsang
Copy link
Owner Author

ClementTsang commented Jul 30, 2024

TODO (maybe in another PR): change header to use default bold?

@ClementTsang ClementTsang marked this pull request as ready for review July 30, 2024 07:22
Copy link

codecov bot commented Jul 30, 2024

Codecov Report

Attention: Patch coverage is 93.33333% with 4 lines in your changes missing coverage. Please review.

Project coverage is 41.27%. Comparing base (f091ebd) to head (c36ce62).

Files Patch % Lines
src/options/config/style/utils.rs 93.33% 4 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main    #1512      +/-   ##
==========================================
- Coverage   41.80%   41.27%   -0.54%     
==========================================
  Files         110      113       +3     
  Lines       17276    17685     +409     
==========================================
+ Hits         7223     7299      +76     
- Misses      10053    10386     +333     
Flag Coverage Δ
macos-12 36.72% <93.33%> (+0.31%) ⬆️
ubuntu-latest 43.25% <93.33%> (+0.25%) ⬆️
windows-2019 36.89% <93.33%> (?)

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

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@ClementTsang ClementTsang enabled auto-merge (squash) July 30, 2024 07:31
@ClementTsang ClementTsang merged commit 08a7b8b into main Jul 30, 2024
36 checks passed
@ClementTsang ClementTsang deleted the bold_text_support_actually branch July 30, 2024 07:43
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.

[Feature] Add a setting to make text bold
1 participant