Closed PierreMarchand20 closed 5 years ago
Which one? tex to pdf? pdf to tex?
Oh sorry, pdf to tex (there is no animation from tex to pdf from what I see)
Same here. It is slow (and distracting).
@tamuratak Yeah it is very janky and looks like 10fps. Can you do the same using CSS and not a for loop javascript border simulation?
@Astrantia, please do it yourself.
Also very much not a fan. I'll probably take a look and rewrite it soon, I'm thinking smoother animation + whole line + small tweaks. However, I can't do anything till Tuesday.
I am really sorry but I do not like the animation for synctex, is there a way to disable it ?