Skip to content

Allow more granular fontStyle options for themes. #128918 #252410

@kneczaj

Description

@kneczaj

Currently two font weights are available: normal (400) and bold (700). Please add support for more (all) weights, specially 500.

A duplicate of this one, but I cannot ask to reopen:
#128918

The bold font 700 is quite unusable, as it differs so much that it automatically makes me focus on the text which is bold 700.

The bold 500 combined with normal 400 is just subtly highlighting important parts of the code, and this is the aim. It is supported by IntelliJ Webstorm, and when I switch from Webstorm and tweak my theme I really miss it.

With no possibility to have various boldness the code readability is noticeably decreased.

Metadata

Metadata

Assignees

Labels

feature-requestRequest for new features or functionalitythemesColor theme issues

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions