]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #670 from Tyriar/207_selection_manager
authorDaniel Imms <tyriar@tyriar.com>
Fri, 9 Jun 2017 20:41:34 +0000 (13:41 -0700)
committerGitHub <noreply@github.com>
Fri, 9 Jun 2017 20:41:34 +0000 (13:41 -0700)
Reimplement selection in the terminal


Trivial merge