Skip to content

[jsroot] add new dash symbols#22317

Merged
linev merged 1 commit into
root-project:masterfrom
linev:js_dash
May 18, 2026
Merged

[jsroot] add new dash symbols#22317
linev merged 1 commit into
root-project:masterfrom
linev:js_dash

Conversation

@linev

@linev linev commented May 18, 2026

Copy link
Copy Markdown
Member

Sync with recent TLatex changes

Thanks to @ferdymercury

@linev linev requested a review from bellenot May 18, 2026 06:11
@linev linev self-assigned this May 18, 2026

@ferdymercury ferdymercury left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am confused about https://github.com/linev/root/blob/js_dash/test/svg_ref/tlatex5.svg

It seems that there are five symbols being rendered incorrectly:

  • forall
  • exists
  • Downarrow
  • Leftrightarrow
  • void8

Is that expected?

Image

@linev

linev commented May 18, 2026

Copy link
Copy Markdown
Member Author

Very well can be that these symbols do not work in SVG.

@github-actions

github-actions Bot commented May 18, 2026

Copy link
Copy Markdown

Test Results

    22 files      22 suites   3d 10h 7m 22s ⏱️
 3 855 tests  3 508 ✅   0 💤 347 ❌
77 037 runs  76 274 ✅ 416 💤 347 ❌

For more details on these failures, see this check.

Results for commit 40b4984.

♻️ This comment has been updated with latest results.

@ferdymercury ferdymercury left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thks.
SVG fix is now at #22318

@linev linev merged commit 3fe1eed into root-project:master May 18, 2026
55 of 60 checks passed
@linev linev deleted the js_dash branch May 18, 2026 14:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants