search

coq-community / vsc-conceal

Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
MIT License
51 stars 6 forks source link

Styles are no longer working #12

Open tejasvi opened 3 years ago

tejasvi commented 3 years ago

{"ugly": "+*", "style": {"border": "1pt solid green"}}, does not apply style anywhere. I checked with devtools and the styles are not loaded.