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.

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

DOM: Render selection color instead of cell bg #4673

Merged
merged 2 commits into from Aug 14, 2023
Merged

Commits on Aug 13, 2023

  1. DOM: Render selection color instead of cell bg

    Summary:
    
    - Selection cell reuse has been added to the DOM renderer
    - Selection bg override is now correctly set correctly
    - Selection elements 'pretend' to be a decoration in order to render bg
    
    Fixes xtermjs#4097
    Tyriar committed Aug 13, 2023
    Configuration menu
    Copy the full SHA
    73a77cd View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Configuration menu
    Copy the full SHA
    39ae0f4 View commit details
    Browse the repository at this point in the history