Davide P. Cervone

Results 978 comments of Davide P. Cervone

OOPS! linked the commit and PR above to the wrong issue. Please ignore.

OK, the previous commit and PR are now the correct ones.

I get similar messages sometimes for reasons that I don't understand. The commands do seem to have done their job, however. So something funny is going on, but I've never...

It has been around for a while, so is not beta.4 specific.

If you mean the third-party [Arabic extension](https://github.com/Edraak/arabic-mathjax), that is av2 extension, and the author has not updated it to work with v3 (or v4). The extension would need significant updates...

Here are the list of continuing issues from our chat today: * Hover highlighting leads to an error. * While explorer is active, all key events are blocked (including reload,...

I figured out the third issue above, and have fixed it in my menu update branch (not yet pushed).

> That was actually an issue related to how explorers were attached. I fixed it in the `sre-menus` branch, as I mentioned above, so you don't need to worry about...

This is an interaction of the in-line lin-breaking code with the spacing in SVG output, similar to #3165 and #3135, but apparently not quite the same one. I will need...

PS, the current version for v3 is 3.2.2, not 3.0.1, so best to test against that in the future.