diff --git a/packages/plugin/src/theia.d.ts b/packages/plugin/src/theia.d.ts index 14cf710ea9f12..8cc835cf3f9eb 100644 --- a/packages/plugin/src/theia.d.ts +++ b/packages/plugin/src/theia.d.ts @@ -3181,7 +3181,6 @@ export module '@theia/plugin' { * The icon {@link ThemeColor} for the terminal. * The `terminal.ansi*` theme keys are * recommended for the best contrast and consistency across themes. - * @stubbed */ color?: ThemeColor; }