[Dark Mode] Editor Header is not optimized for new Distraction-Free Mode

[Louis]

Hello @Marius,

Thanks for the report!
This should be addressed in 1.2.9.9.4.

Cheers,