constheaderSize=this.openEditorsVisible?undefined:0;// If open editors are not visible set header size explicitly to 0, otherwise const it be computed by super class.
constheaderSize=this.openEditorsVisible?undefined:0;// If open editors are not visible set header size explicitly to 0, otherwise const it be computed by super class.