(explorer: SandDanceExplorer.Explorer_Class)
| 129 | } |
| 130 | |
| 131 | mounted(explorer: SandDanceExplorer.Explorer_Class) { |
| 132 | this.explorer = explorer; |
| 133 | |
| 134 | this.wireEventHandlers(true); |
| 135 | |
| 136 | this.vscode.postMessage({ |
| 137 | command: 'getFileContent', |
| 138 | }); |
| 139 | |
| 140 | this.checkForDarkTheme(); |
| 141 | |
| 142 | new MutationObserver((mutationRecords) => { |
| 143 | this.checkForDarkTheme(); |
| 144 | }).observe(document.body, { attributeFilter: ['class'] }); |
| 145 | } |
| 146 | |
| 147 | render() { |
| 148 | return ( |
no test coverage detected