The gutter dots from linter-ui-default are half hidden.
Reproduction Steps:
Install linter-ui-default and a provider, get a lint error.
Expected behavior:
Linter gutter icons show fully.
Observed behavior:
Linter gutter icons are half hidden.
For some reason the width is being calculated at 23 pixels, while all other themes calculated them to 12 pixels. If I manually specify the width to 12 pixels they look correct again.
Filing this here as this is the only theme showing this that I have installed. Tested against One Dark, Atom Dark, Seti, and Nord.
Screenshots and GIFs
Issue shows with v2.0.3 and debac6a90722e9aa97efca63769374a5834375d3.
The gutter dots from
linter-ui-defaultare half hidden.Reproduction Steps:
linter-ui-defaultand a provider, get a lint error.Expected behavior:
Linter gutter icons show fully.
Observed behavior:
Linter gutter icons are half hidden.
For some reason the width is being calculated at 23 pixels, while all other themes calculated them to 12 pixels. If I manually specify the width to 12 pixels they look correct again.
Filing this here as this is the only theme showing this that I have installed. Tested against One Dark, Atom Dark, Seti, and Nord.
Screenshots and GIFs
Issue shows with v2.0.3 and debac6a90722e9aa97efca63769374a5834375d3.
Atom version:
Atom v1.17.0-beta5
OS and version:
Windows 10 x64