@theia/plugin 1.24.0-next.50 → 1.24.0-next.53

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@theia/plugin",
-  "version": "1.24.0-next.50+4ade5924584",
+  "version": "1.24.0-next.53+a8b8bbec4b4",
   "description": "Theia - Plugin API",
   "types": "./src/theia.d.ts",
   "publishConfig": {
@@ -32,5 +32,5 @@
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "4ade592458449ff262bce696a80a07e32a444d3d"
+  "gitHead": "a8b8bbec4b44c1084c132ecdb2fceb210feaa847"
 }

package/src/theia.d.ts

@@ -2549,6 +2549,13 @@ export module '@theia/plugin' {
          */
         appendLine(value: string): void;
 
+        /**
+         * Replaces all output from the channel with the given value.
+         *
+         * @param value A string, falsy values will not be printed.
+         */
+        replace(value: string): void;
+
         /**
          * Removes all output from the channel.
          */
@@ -10460,6 +10467,13 @@ export module '@theia/plugin' {
          */
         source?: string;
 
+        /**
+         * A human-readable string which is rendered less prominently on a separate line in places
+         * where the task's name is displayed. Supports rendering of {@link ThemeIcon theme icons}
+         * via the `$(<name>)`-syntax.
+         */
+        detail?: string;
+
         /**
          * The task group this tasks belongs to. See TaskGroup
          * for a predefined set of available groups.
@@ -10478,9 +10492,10 @@ export module '@theia/plugin' {
         problemMatchers?: string[];
     }
 
-    export class Task2 extends Task {
-        detail?: string;
-    }
+    /**
+     * Task2 is kept for compatibility reasons.
+     */
+    export class Task2 extends Task { }
 
     export interface TaskProvider<T extends Task = Task> {
         /**