Skip to content

Conversation

@Tyriar
Copy link
Member

@Tyriar Tyriar commented Dec 16, 2022

Fixes #4124

@Tyriar Tyriar added this to the 5.1.0 milestone Dec 16, 2022
@Tyriar Tyriar self-assigned this Dec 16, 2022
@Tyriar Tyriar merged commit 917e31e into xtermjs:master Dec 16, 2022
@Tyriar Tyriar deleted the 4124 branch December 16, 2022 01:36
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.

setter issue of options.theme

1 participant