* 更新头部
(language: string)
| 1433 | * 更新头部 |
| 1434 | */ |
| 1435 | private updateHeader(language: string): void { |
| 1436 | if (this.headerElement) { |
| 1437 | const newHeader = this.createHeader(language); |
| 1438 | this.dom.replaceChild(newHeader, this.headerElement); |
| 1439 | this.headerElement = newHeader; |
| 1440 | } |
| 1441 | } |
| 1442 | |
| 1443 | /** |
| 1444 | * 设置 Mermaid 显示模式 |
no test coverage detected