mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-07-05 10:26:33 +00:00
9a6a457bc4
- update Theia to `1.39.0`, - remove the application packager and fix the security vulnerabilities, - bundle the backed application with `webpack`, and - enhance the developer docs. Co-authored-by: Akos Kitta <a.kitta@arduino.cc> Co-authored-by: per1234 <accounts@perglass.com> Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
17 lines
579 B
TypeScript
17 lines
579 B
TypeScript
import type { Disposable } from '@theia/core/lib/common/disposable';
|
|
import type { AppInfo } from '../electron-common/electron-arduino';
|
|
import type { StartupTasks } from '../electron-common/startup-task';
|
|
import type { Sketch } from './contributions/contribution';
|
|
|
|
export type { AppInfo };
|
|
|
|
export const AppService = Symbol('AppService');
|
|
export interface AppService {
|
|
quit(): void;
|
|
info(): Promise<AppInfo>;
|
|
registerStartupTasksHandler(
|
|
handler: (tasks: StartupTasks) => void
|
|
): Disposable;
|
|
scheduleDeletion(sketch: Sketch): void; // TODO: find a better place
|
|
}
|