Daniel Imms b55bedc6af Add terminal API interface to Types.ts ...

This is needed since the API/public buffer now differs from the TerminalCore's

2019-04-09 21:29:08 -07:00

..

xterm.d.ts

Add terminal API interface to Types.ts

2019-04-09 21:29:08 -07:00