theme moved to plugin

This commit is contained in:
Jan Prochazka
2021-02-26 16:52:22 +01:00
parent 8a0d10e50d
commit a101f21483
9 changed files with 136 additions and 108 deletions

View File

@@ -21,6 +21,11 @@ export interface FileFormatDefinition {
getOutputParams?: (sourceName, values) => any;
}
export interface ThemeDefinition {
className: string;
themeName: string;
}
export interface PluginDefinition {
packageName: string;
manifest: any;
@@ -31,4 +36,5 @@ export interface ExtensionsDirectory {
plugins: PluginDefinition[];
fileFormats: FileFormatDefinition[];
drivers: EngineDriver[];
themes: ThemeDefinition[];
}