[PATCH] Support dark mode in workarea

[Richard Kimberly Heck]

On 12/12/20 4:02 AM, Jürgen Spitzmüller wrote:
> Am Freitag, dem 11.12.2020 um 22:49 +0100 schrieb Pavel Sanda:
>> Closing ERT inset produces thin box with no text visible.
> This one's not caused by this patch. I suspect it has been introduced
> by 16834a32ad (Use LOCK symbol with Minimalistic decoration, too.).
>
> Riki?

I will have a look.

Riki