File tree 1 file changed +10
-0
lines changed
1 file changed +10
-0
lines changed Original file line number Diff line number Diff line change @@ -1880,6 +1880,7 @@ index 0000000000000000000000000000000000000000..cb3a45fda10a6bcbff73275b5734641b
1880
1880
+ private _title: string = "";
1881
1881
+ public readonly workspaceId: string;
1882
1882
+ public readonly workspaceName: string;
1883
+ + private readonly persist: boolean;
1883
1884
+
1884
1885
+ private readonly _onDispose = new Emitter<void>();
1885
1886
+ public get onDispose(): Event<void> { return this._onDispose.event; }
@@ -1918,6 +1919,13 @@ index 0000000000000000000000000000000000000000..cb3a45fda10a6bcbff73275b5734641b
1918
1919
+ data: this.replayData.join(""),
1919
1920
+ }]
1920
1921
+ });
1922
+ + },
1923
+ +
1924
+ + onLastListenerRemove: () => {
1925
+ + logger.debug('Terminal unbound', field('id', this.id));
1926
+ + if (!this.persist) { // Used by debug consoles.
1927
+ + this.dispose();
1928
+ + }
1921
1929
+ }
1922
1930
+ });
1923
1931
+
@@ -1979,6 +1987,8 @@ index 0000000000000000000000000000000000000000..cb3a45fda10a6bcbff73275b5734641b
1979
1987
+ this.cols = args.cols;
1980
1988
+ this.rows = args.rows;
1981
1989
+
1990
+ + this.persist = args.shouldPersistTerminal;
1991
+ +
1982
1992
+ this.process = new TerminalProcess(
1983
1993
+ config,
1984
1994
+ config.cwd,
You can’t perform that action at this time.
0 commit comments