Skip to content

Conversation

@alf239
Copy link

@alf239 alf239 commented Apr 13, 2020

Hi Or,

I'm not quite sure you want that change — as far as I can tell, it changes semantics a lot; still, it may be useful, so if you need it, here's it :)

Basically, many source files have $ signs where they are not meant to mean $\LaTeX\ here!$ — e.g. Scala's interpolated strings:

val name = "World"
println(s"Hello $name! How are you, $name?")

I also added support for the PR dialog preview tab — its selection class was changed,

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant