Merge branch 'master' into left_right_scroll

2019-08-23 16:45:42 +02:00
parent f7827c4df8 a67f57d693
commit 54ff71f982
10 changed files with 104 additions and 30 deletions
@@ -230,6 +230,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;
 }