Closed vbdr closed 6 years ago
We could add that option in the menu that shows up when we right-click the theory text box.
Contextual menu now includes options to clear the theory text box and to change its font size
We could add that option in the menu that shows up when we right-click the theory text box.