vscode-tlaplus icon indicating copy to clipboard operation
vscode-tlaplus copied to clipboard

Cannot click on magnifying glass icon to view long error trace record

Open JoshuaRowePhantom opened this issue 3 years ago • 1 comments

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.

JoshuaRowePhantom avatar May 28 '22 15:05 JoshuaRowePhantom

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.

JoshuaRowePhantom avatar May 28 '22 15:05 JoshuaRowePhantom