Robin Gareus e286cce399 Borderless plugin UIs ...

This removes a border painted in the host's UI theme color around
any plugin UI.
This results in a much nicer look/feel for plugin-UIs that have their
own theme

2019-08-26 16:28:03 +02:00

25 KiB

Raw Blame History

View Raw