Themes: Attempt at working around wrong widget backgrounds on Windows
authorSoeren Apel <soeren@apelpie.net>
Mon, 22 Oct 2018 21:21:33 +0000 (23:21 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Wed, 24 Oct 2018 22:08:42 +0000 (00:08 +0200)

No differences found