Skip to content

Add support for <sub> and <sup> in "extra" hover label#3443

Merged
etpinard merged 6 commits intomasterfrom
sub-sup-in-extra-hover-label
Jan 21, 2019

Commits

Commits on Jan 17, 2019

Commits on Jan 18, 2019

Commits on Jan 21, 2019