this.toDispose.push(this.quickOpen.onShow(()=>(<WorkbenchMessageService>this.messageService).suspend()));// when quick open is open, don't show messages behind
this.toDispose.push(this.quickOpen.onHide(()=>(<WorkbenchMessageService>this.messageService).resume()));// resume messages once quick open is closed again
}
this.toDispose.push(this.quickOpen.onShow(()=>(<WorkbenchMessageService>this.messageService).suspend()));// when quick open is open, don't show messages behind
this.toDispose.push(this.quickOpen.onHide(()=>(<WorkbenchMessageService>this.messageService).resume()));// resume messages once quick open is closed again