Navigator causes editor overflow

Fixed Bugs
3

Hello @Marius,

Thanks for this report.

This should be addressed in 1.2.9.9.4.
I’d be grateful if you could let me know if all is good on your end.

Cheers,

1 Like