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

Going from webgl renderer to dom renderer will not reposition decorations #3773

Closed
Tyriar opened this issue May 10, 2022 · 0 comments · Fixed by #3779
Closed

Going from webgl renderer to dom renderer will not reposition decorations #3773

Tyriar opened this issue May 10, 2022 · 0 comments · Fixed by #3779
Assignees
@Tyriar
Labels
area/renderer-dom type/bug Something is misbehaving
Milestone
4.19.0

Comments

@Tyriar
Copy link
Member

Tyriar commented May 10, 2022

While searching for "se", the background moves as it's my WIP for #3770 but the border remains in the old renderer's position.

Repro:

  1. Open demo
  2. Enable highlight all matches
  3. Set DOM renderer
  4. Enable webgl renderer
  5. Find "se" or something else
  6. Disable webgl renderer
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Tyriar Tyriar

Labels
area/renderer-dom type/bug Something is misbehaving
Projects
None yet
Milestone
4.19.0
Development

Successfully merging a pull request may close this issue.

Layout dimension left/right after renderer dims change Tyriar/xterm.js
2 participants
@Tyriar @meganrogge