On 17 May 2020, at 2:02, Allan Odgaard wrote: > The problem is with themes that set a background color with an alpha > component (other than 1). Ah, that’s it. Thanks. -- Rob McBroom