tree d91d64a848d6d39ddf428076ac2c58f1971f46c3
parent 29d38b59d097b952bcff82873e0441aff0976e15
author omar <omarcornut@gmail.com> 1549537608 +0100
committer omar <omarcornut@gmail.com> 1549537673 +0100

Tabs: Fixed border (when enabled) so it is aligned correctly mid-pixel and appears as bright as other borders.