Skip to content

Integrate xterm.js's new terminal selection feature#28388

Merged
Tyriar merged 10 commits intomasterfrom
tyriar/9958
Jun 9, 2017
Merged

Integrate xterm.js's new terminal selection feature#28388
Tyriar merged 10 commits intomasterfrom
tyriar/9958

Conversation

@Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 9, 2017

Fixes #9958

@Tyriar Tyriar added this to the June 2017 milestone Jun 9, 2017
@Tyriar Tyriar self-assigned this Jun 9, 2017
Tyriar added 3 commits June 9, 2017 14:22
The new selection model in xterm.js doesn't allow inverting colors
right now so piggyback on selection.background. Ideally the terminal
would have its own selection key since it has a terminal.background,
but this is hopefully just temporary until selection color inverting
is done upstream.
@Tyriar Tyriar merged commit 7688ec0 into master Jun 9, 2017
@Tyriar Tyriar deleted the tyriar/9958 branch June 9, 2017 23:18
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add virtual selection to integrated terminal

2 participants