Guido Günther authored May 31, 2023 and Marge Bot committed Jun 08, 2023

We first fade in a solid surface quickly, then trigger the theme change
while alpha blending back.

This gives the user visual feedback that the theme changes rather than
just flickering.

The timeout is rather long but shorter values don't cover the actual
theme switch.

Part-of: <!1269>