> While we're at this, should we implement the equivalent of
> tab-line-close-highlight in tab-bar? I can do that before I share the
> next patch.
>
> I went ahead and mousified the close buttons, too, like tab-line does.
Sorry, the close buttons now look horrible.
Could you try to keep the previous style that
slightly raised the close button's border on hover?