// Create a special child of instantiator that will delegate all calls to openEditor() to the same diff editor if the input matches with the modified one
// Create a special child of instantiator that will delegate all calls to openEditor() to the same diff editor if the input matches with the modified one
constheaderSize=this.openEditorsVisible?undefined:0;// If open editors are not visible set header size explicitly to 0, otherwise let it be computed by super class.