mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-10-28 20:48:32 +00:00
9 lines
320 B
TypeScript
9 lines
320 B
TypeScript
import { AboutDialog as TheiaAboutDialog } from '@theia/core/lib/browser/about-dialog';
|
|
|
|
export class AboutDialog extends TheiaAboutDialog {
|
|
protected override async init(): Promise<void> {
|
|
// NOOP
|
|
// IDE2 has a custom about dialog, so it does not make sense to collect Theia extensions at startup time.
|
|
}
|
|
}
|