(title: string, iconPath: string, pagePath: string, callback?: (panel: ExtensionPanel) => unknown)
| 164 | themeName: string; |
| 165 | |
| 166 | create(title: string, iconPath: string, pagePath: string, callback?: (panel: ExtensionPanel) => unknown): void; |
| 167 | openResource(url: string, lineNumber: number, columnNumber?: number, callback?: () => unknown): void; |
| 168 | |
| 169 | setOpenResourceHandler( |
no outgoing calls