Always show plugin notification regardless of options (eclipse-theia#…

…10399) Fixes a bug introduced by eclipse-theia#10245 which prevented plugin notifications from being shown
ARMmbed · Jan 25, 2022 · b598aed · b598aed
1 parent 7ca6035
commit b598aed
Showing 1 changed file with 5 additions and 6 deletions.
diff --git a/packages/plugin-ext/src/plugin/message-registry.ts b/packages/plugin-ext/src/plugin/message-registry.ts
@@ -55,12 +55,11 @@ export class MessageRegistryExt {
                     }
                 }
             }
-            for (const item of rest) {
-                pushItem(item);
-            }
-            const actionHandle = await this.proxy.$showMessage(type, message, options, actions);
-            return actionHandle !== undefined ? items[actionHandle] : undefined;
         }
-
+        for (const item of rest) {
+            pushItem(item);
+        }
+        const actionHandle = await this.proxy.$showMessage(type, message, options, actions);
+        return actionHandle !== undefined ? items[actionHandle] : undefined;
     }
 }