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

Fixed Bugs
1

Everything is in the title.

image
image2154×58 7.56 KB

2

Hello @Marius,

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

Cheers,