Skip to content

Add a setting for disabling "intense is bold" #10576

Closed

Description

A follow up to #10498

As discussed at length in other threads, esp #109.

Most recently, from James Holderness (@j4james) in #10498:

I mean choose if you want SGR 1 to select a bold font face or not (basically a way to disable this PR). I suppose you could potentially implement that by allowing users to choose which font weight is bold, and expect them to select the normal font weight, but that seems a bit obscure. For example, in XTerm you can just uncheck the "Bold Fonts" menu, and in Konsole you uncheck the option "Draw intense colors in bold font".

There are a whole bunch of other variations people may want to configure, e.g. disabling bold-as-bright, or only enabling a bold font when used with the extended colors (i.e. the aix bright colors and the ITU 256/RGB colors). Personally I think the latter is the best default config, since it gives you the standard behaviour for the original 8 SGR colors, while still allowing bold fonts when used with extended colors, but I'd be happy with a simple option to turn this off.

Activity

  1. added
    Help WantedWe encourage anyone to jump in on these.
    Area-RenderingText rendering, emoji, complex glyph & font-fallback issues
    Area-SettingsIssues related to settings and customizability, for console or terminal
    Issue-TaskIt's a feature request, but it doesn't really need a major design.
    on Jul 7, 2021
  2. ghost added
    Needs-TriageIt's a new issue that the core contributor team needs to triage at the next triage meeting
    on Jul 7, 2021
  3. DHowett commented on Jul 7, 2021

    @DHowett
    Member

    This is a requirement for us to ship 1.10 to stable.

  4. skyline75489 commented on Jul 8, 2021

    @skyline75489
    Collaborator

    I'm gonna be honest with you guys. I have no idea how settings work nowadays, and all those XAML things scare the s out of me. Someone who knows more about how settings work, please take this and I'll thank you personally (over the Internet), I promise.

  5. removed
    Needs-TriageIt's a new issue that the core contributor team needs to triage at the next triage meeting
    on Jul 8, 2021
  6. ghost added
    In-PRThis issue has a related PR
    on Jul 13, 2021
  7. ghost removed
    In-PRThis issue has a related PR
    on Jul 19, 2021
  8. ghost added
    In-PRThis issue has a related PR
    on Jul 22, 2021
  9. ghost closed this as completedin #10759on Aug 16, 2021
  10. ghost added a commit that references this issue on Aug 16, 2021
    a544f56
  11. ghost removed
    In-PRThis issue has a related PR
    on Aug 16, 2021
  12. ghost added
    Resolution-Fix-CommittedFix is checked in, but it might be 3-4 weeks until a release.
    on Aug 16, 2021
  13. added a commit that references this issue on Aug 25, 2021
    0a76283
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

Area-RenderingText rendering, emoji, complex glyph & font-fallback issuesArea-SettingsIssues related to settings and customizability, for console or terminalIssue-TaskIt's a feature request, but it doesn't really need a major design.Product-TerminalThe new Windows Terminal.Resolution-Fix-CommittedFix is checked in, but it might be 3-4 weeks until a release.

Type

No type

Projects

No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions