agda-mode-vscode icon indicating copy to clipboard operation
agda-mode-vscode copied to clipboard

Published 20 hours ago • verified publisher icon banacorn

Wrong colors in light theme

Open cad0p opened this issue 2 years ago • 2 comments

Hi, I will attach a screenshot to show you the issue: image

The theme is called "Light+"

cad0p avatar Mar 22 '22 13:03 cad0p

Thanks for reporting this!

banacorn avatar May 02 '22 05:05 banacorn