Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
branch: add filter widget #713
On my setup (dark background) this looks messed up because only the background is set, and it's setting a light background onto a light-colored foreground font.
I think it would be better to choose the
Highlight color for the background and also set the
HighlightText to the foreground. That way we don't end up with a mismatch.
That said, the highlighting is a little intense. How about, instead of changing the palette, make the text bold instead? If that's too subtle then the palette should do the trick too. Looks good otherwise!