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

Add all options to demo in a way that makes it easy to maintain #1488

Merged
merged 8 commits into from
Jun 3, 2018

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 3, 2018

Fixes #939

screen shot 2018-06-03 at 3 38 54 pm

@Tyriar Tyriar self-assigned this Jun 3, 2018
@mofux
Copy link
Contributor

mofux commented Jun 3, 2018

Works great and very useful 👍

@Tyriar Tyriar added this to the 3.5.0 milestone Jun 3, 2018
@Tyriar Tyriar merged commit 42d7d3a into xtermjs:master Jun 3, 2018
@Tyriar Tyriar deleted the all_options branch June 3, 2018 14:51
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.

2 participants