vsc-conceal
vsc-conceal copied to clipboard
coq-community
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]
For .tla file I want to substite "\in" by "∈" `TypeOK == color \in {"red", "green", "yellow"}` So in settings I specify ` { "pre": "", "ugly": "\\in", "post": "",...
Hello Thanks for the amazing plugin! I have found a small error that is annoying and I assume will be quite complicated to solve. When word wrapping is activated, the...
I found that the symbol's color is the same as the char next to it. For example, I have these substitutions ``` { "ugly": "\\\\left\\[", "pretty": "[" }, { "ugly":...
If there is no trailing space, newline is fine, they are displayed white (I am using a dark theme.). If there is a trailing space, they are displayed grey that...
1. After I change the `setting.json` to have a better pattern, my file usually **changes into messy code.** I have to restart my VSCode and everything works. like that: ...
Either that the scope keyword is not working, or it's my brain that's not working. I wanted to make the `and` logical operator to be prettified and not inside a...
Curious about why the capture groups is not supported, is that too hard to achieve?
`{"ugly": "+*", "style": {"border": "1pt solid green"}},` does not apply style anywhere. I checked with devtools and the styles are not loaded.
`vsc-conceal` isn't available yet on the OpenVSX open repository that is used by VScodium. See documentation here: https://github.com/eclipse/openvsx/wiki/Publishing-Extensions.
As mentioned in the issues https://github.com/siegebell/vsc-prettify-symbols-mode/issues/42 and https://github.com/siegebell/vsc-prettify-symbols-mode/issues/53 of the original ```vsc-prettify-symbols-mode```, symbols sometimes appear at random places. This bug sadly also exists in conceal. As far as I can...
Metadata
Owner
Metadata
Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley]