Workaround: In mir_proving_server you can correct the bug by zooming in then out again (Super+mousewheel).
Workaround: In mir_proving_server you can correct the bug by zooming in then out again (Super+mousewheel).