Version: New in 4.9.4
Priority: Low in the sense that I have no obvious suggestion
Issue: It can be difficult to tell visually which formulas are hidden or not, especially over Zoom. Less of an issue when doing your own proofs, more of an issue when using the prover in a meeting
Obvious partial workaround: Have people increase font size and turn on High Contrast mode
Limitations of workaround:
1) Even the "high-contrast" theme may not be visible enough
2) Non-expert users probably won't know about the themes at first. People who have bad eyesight (so, most of us) could give up before finding the menu.
Version: New in 4.9.4 Priority: Low in the sense that I have no obvious suggestion
Issue: It can be difficult to tell visually which formulas are hidden or not, especially over Zoom. Less of an issue when doing your own proofs, more of an issue when using the prover in a meeting
Obvious partial workaround: Have people increase font size and turn on High Contrast mode
Limitations of workaround: 1) Even the "high-contrast" theme may not be visible enough 2) Non-expert users probably won't know about the themes at first. People who have bad eyesight (so, most of us) could give up before finding the menu.