vscode-tlaplus
vscode-tlaplus copied to clipboard
Cannot click on magnifying glass icon to view long error trace record
In some circumstances with long error trace records, I cannot click on the magnifying glass icon to view a long error trace value. The mouse ends up selecting background text. The "copy to clipboard" button works.
I think I figured out that this happens if I've clicked inside the error trace view before trying to click the magnifying glass. I have to click outside the error trace view before I can then click the magnifying glass.