Remove stub tag from TerminalOptions#color (#14171)

eclipse-theia · Sep 16, 2024 · 1fea534 · 1fea534
1 parent 5abefeb
commit 1fea534
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/packages/plugin/src/theia.d.ts b/packages/plugin/src/theia.d.ts
@@ -3520,7 +3520,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;
     }