Merge branch 'master' into mouse_services

2019-08-23 16:37:16 +02:00
parent 64c06d34fa a67f57d693
commit 36b3bbd541
10 changed files with 104 additions and 30 deletions
@@ -220,6 +220,7 @@ export interface IPublicTerminal extends IDisposable {
  clear(): void;
  write(data: string): void;
  writeUtf8(data: Uint8Array): void;
+  paste(data: string): void;
  refresh(start: number, end: number): void;
  reset(): void;
 }