Viewing profile — Philipp_n

Philipp_n

HN member

No profile information was provided.

comment
Comment #22055168
Sorry, right now it's not implemented. You can create a feature request in https://youtrack.jetbrains.com or on https://github.com/JetBrains/JetBrainsMono

Wed, Jan 15, 2020, 3:41 PM UTC
comment
Comment #22055103
Sounds interesting. Can you send me the screenshot?

Wed, Jan 15, 2020, 3:36 PM UTC
comment
Comment #22054824
It makes the oval more pronounced at small sizes like 12px.

Wed, Jan 15, 2020, 3:13 PM UTC
comment
Comment #22054689
The list a bit outdated. Will upload correct one soon.

Wed, Jan 15, 2020, 3:00 PM UTC