Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fix: use extra font for rendering special symbols #58

Merged
merged 2 commits into from
Sep 9, 2024
Merged

fix: use extra font for rendering special symbols #58

merged 2 commits into from
Sep 9, 2024

Conversation

Jumas
Copy link
Contributor

@Jumas Jumas commented Sep 9, 2024 •
edited
Loading

Refs: #57

Proposed changes

Make special symbols (e.g. almost all of the arrows from https://www.w3schools.com/charsets/ref_utf_arrows.asp) visible in the resulting pdf file.

Checklist

Before creating a PR, run through this checklist and mark each as complete:

  • I have read the CONTRIBUTING document
  • If applicable, I have added tests that prove my fix is effective or that my feature works
  • If applicable, I have checked that any relevant tests pass after adding my changes
  • I have updated any relevant documentation

@Jumas Jumas requested review from a team as code owners September 9, 2024 13:25
@Jumas Jumas linked an issue Sep 9, 2024 that may be closed by this pull request
Some special symbols are not printed #57
Closed
@sonarcloud SonarCloud
Copy link

sonarcloud bot commented Sep 9, 2024

Quality Gate Passed Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

@Jumas Jumas enabled auto-merge (squash) September 9, 2024 15:38
@Jumas Jumas merged commit b2a4126 into main Sep 9, 2024
8 checks passed
@Jumas Jumas deleted the 57-some-special-symbols-are-not-printed branch September 9, 2024 15:44
@github-actions github-actions bot mentioned this pull request Sep 9, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@grigoriev grigoriev grigoriev approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Some special symbols are not printed
2 participants
@Jumas @grigoriev