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
Copy link
Copy Markdown
Member

@linev linev commented May 18, 2026

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
Copy link
Copy Markdown
Collaborator

@ferdymercury ferdymercury left a comment

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
Copy link
Copy Markdown
Member Author

linev commented May 18, 2026

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

@github-actions
Copy link
Copy Markdown

github-actions Bot commented May 18, 2026

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.

Copy link
Copy Markdown
Collaborator

@ferdymercury ferdymercury left a comment

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