| commit | 1b63ded8fad7ab2e41468d485160b416383e0646 | [log] [tgz] |
|---|---|---|
| author | omar <omarcornut@gmail.com> | Thu Feb 07 12:06:48 2019 +0100 |
| committer | omar <omarcornut@gmail.com> | Thu Feb 07 12:07:53 2019 +0100 |
| tree | d91d64a848d6d39ddf428076ac2c58f1971f46c3 | |
| parent | 29d38b59d097b952bcff82873e0441aff0976e15 [diff] |
Tabs: Fixed border (when enabled) so it is aligned correctly mid-pixel and appears as bright as other borders.