Philipp Brumm 242ef89e2d use @base-background-color as a basis for the title-bar gradient to better accommodate themes that do not provide their own style for a title-bar

2016-07-02 12:28:14 +02:00

842 B

Raw Blame History

View Raw