@theia/plugin 1.26.0-next.36 → 1.26.0-next.43

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@theia/plugin",
-  "version": "1.26.0-next.36+9ec8835cf35",
+  "version": "1.26.0-next.43+9a10b6b5daa",
   "description": "Theia - Plugin API",
   "types": "./src/theia.d.ts",
   "publishConfig": {
@@ -32,5 +32,5 @@
   "nyc": {
     "extends": "../../configs/nyc.json"
   },
-  "gitHead": "9ec8835cf35d5a46101a62ae93285aeb37a2f382"
+  "gitHead": "9a10b6b5daab5e046f28fde8803b3612e84f6ff4"
 }

package/src/theia.d.ts

@@ -2833,6 +2833,21 @@ export module '@theia/plugin' {
          */
         readonly processId: PromiseLike<number>;
 
+        /**
+         * The exit status of the terminal, this will be undefined while the terminal is active.
+         *
+         * **Example:** Show a notification with the exit code when the terminal exits with a
+         * non-zero exit code.
+         * ```typescript
+         * window.onDidCloseTerminal(t => {
+         *   if (t.exitStatus && t.exitStatus.code) {
+         *     vscode.window.showInformationMessage(`Exit code: ${t.exitStatus.code}`);
+         *   }
+         * });
+         * ```
+         */
+        readonly exitStatus: TerminalExitStatus | undefined;
+
         /**
          * Send text to the terminal.
          * @param text - text content.
@@ -2907,6 +2922,20 @@ export module '@theia/plugin' {
         readonly rows: number;
     }
 
+    /**
+     * Represents how a terminal exited.
+     */
+    export interface TerminalExitStatus {
+        /**
+         * The exit code that a terminal exited with, it can have the following values:
+         * - Zero: the terminal process or custom execution succeeded.
+         * - Non-zero: the terminal process or custom execution failed.
+         * - `undefined`: the user forcibly closed the terminal or a custom execution exited
+         *   without providing an exit code.
+         */
+        readonly code: number | undefined;
+    }
+
     /**
      * Options a virtual process terminal.
      * @deprecated since 1.23.0 - Use [ExtensionTerminalOptions](#ExtensionTerminalOptions) instead.