()
| 1927 | } |
| 1928 | |
| 1929 | override updateTitle(): void { |
| 1930 | const name = this.getPaneName(); |
| 1931 | const customName = this.paneName ? this.paneName : name; |
| 1932 | if (name.endsWith('CMakeLists.txt')) { |
| 1933 | this.changeLanguage('cmake'); |
| 1934 | } |
| 1935 | this.container.setTitle(escapeHTML(customName)); |
| 1936 | } |
| 1937 | |
| 1938 | // Called every time we change language, so we get the relevant code |
| 1939 | updateEditorCode(): void { |
no test coverage detected