Skip to content

Fix #2242 - Improved Xterm.js glyphs handling #2248

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.

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

Merged
merged 2 commits into from
Nov 14, 2024
Merged

Conversation

WebReflection
Copy link
Contributor

Description

This MR fixes #2242 by enforcing some rule around the text as the issue with DOM rendered based glyphs is overly-known and no option can apparently change the behavior so in here we ensure that no clipping happens to emoji or other chars.

Changes

  • increase lineHeight to make emoji fit into one line
  • enforce the line-spacing for terminal related spans

Checklist

  • I have checked make build works locally.
  • I have created / updated documentation for this change (if applicable).

@WebReflection WebReflection requested a review from ntoll November 13, 2024 15:03
@WebReflection WebReflection changed the title Issue 2242 Fix #2242 - Improved Xterm.js glyphs handling Nov 13, 2024
@WebReflection WebReflection mentioned this pull request Nov 13, 2024
3 tasks
Copy link
Member

@ntoll ntoll left a comment

Choose a reason for hiding this comment

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

👍 🤗 🚀 👏 😉

@WebReflection WebReflection merged commit 4e43d3e into main Nov 14, 2024
2 checks passed
@WebReflection WebReflection deleted the issue-2242 branch November 14, 2024 09:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Pyscript stdout crops emojis
2 participants