When the sequent view is displayed. Resizing the window can lead to failure in repainting FormulaCell. When hovering the mouse over a formula, the cells becomes blank. When clicking the label toggle switch the FormlaCells are not repainted according to the setting.
When the sequent view is displayed. Resizing the window can lead to failure in repainting FormulaCell. When hovering the mouse over a formula, the cells becomes blank. When clicking the label toggle switch the FormlaCells are not repainted according to the setting.