Mir

Comment 2 for bug 1672269

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

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