coq-community vsc-conceal issues

coq-community / vsc-conceal

Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]

MIT License

51 stars 6 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Update readme

#25 rtetley closed 1 year ago
0
Add secrets to repo

#24 rtetley opened 1 year ago
0
Update documentation

#23 rtetley closed 1 year ago
0
Update ci.yml

#22 rtetley closed 1 year ago
0
Clean up the code and add CI and CD

#21 rtetley closed 1 year ago
0
CI and CD

#20 rtetley closed 1 year ago
0
Dynamic match and replace?

#19 Oskar-Idland opened 1 year ago
0
"ugly": "\\in", not replaced correctly by "pretty": "∃" ?

#18 grafcetonline opened 2 years ago
1
Line break don't happen at the right place with word wrap

#17 ArnaudPannatier opened 2 years ago
0
strange behaviour of the symbol's color

#16 cht33 opened 2 years ago
0
Simultaneous conceals don't work on text

#15 rayhagimoto closed 3 years ago
1
Scope keyword is not working

#14 ShiromiTsukasa opened 3 years ago
2
Added a bunch more LaTeX symbols

#13 LucaDiBona closed 2 years ago
1
Styles are no longer working

#12 tejasvi opened 3 years ago
0
Support full conceal

#11 tejasvi closed 3 years ago
1
some bugs about display and regular expressions using

#10 yfzhao20 opened 3 years ago
2
Pretty symbols display almost invisible if followed by a space

#9 pseudohuman92 closed 1 year ago
3
Publish vsc-conceal on OpenVSX

#8 sparusaurata opened 3 years ago
2
Corrections and additions in LaTeX comands

#7 l-kershaw closed 3 years ago
1
Why capture groups is not supported?

#6 qlibp opened 3 years ago
3
Symbols do not fully re-render on mutated text

#5 isycat opened 3 years ago
0
Cursor is showing to the left of the symbols when it is on the right

#4 orpuente opened 4 years ago
2
Fix typo in latex symbols

#3 artemisart closed 4 years ago
1
Symbols appear at random places

#2 AlexanderZeilmann opened 4 years ago
3
New Language Support?

#1 pancaek opened 4 years ago
5