// Prevent dispose functions being triggered multiple times
if(!this.isExiting){
this.isExiting=true;
this.dispose();
if(exitCode){
this.messageService.show(Severity.Error,nls.localize('terminal.integrated.exitedWithCode','The terminal process terminated with exit code: {0}',exitCode));
this.messageService.show(Severity.Warning,nls.localize('terminal.integrated.copySelection.noSelection','Cannot copy terminal selection when terminal does not have focus'));
// Only listen for process title changes when a name is not provided
this.process.on('message',(message)=>{
if(message.type==='title'){
this._title=message.content?message.content:'';
this._onTitleChanged.fire(this._title);
}
});
}
this.process.on('exit',(exitCode)=>{
// Prevent dispose functions being triggered multiple times
if(!this.isExiting){
this.isExiting=true;
this.dispose();
if(exitCode){
this.messageService.show(Severity.Error,nls.localize('terminal.integrated.exitedWithCode','The terminal process terminated with exit code: {0}',exitCode));
this.messageService.show(Severity.Warning,nls.localize('terminal.integrated.copySelection.noSelection','Cannot copy terminal selection when terminal does not have focus'));
assert.equal(configHelper.getFont().fontSize,`${DefaultConfig.editor.fontSize}px`,'The default editor font size should be used when editor.fontSize is 0 and terminal.integrated.fontSize not set');
assert.equal(configHelper.getFont().fontSize,`${DefaultConfig.editor.fontSize}px`,'The default editor font size should be used when editor.fontSize is < 0 and terminal.integrated.fontSize not set');