taler-typescript-core

commit 66fafccf8ced9c1afb01ab889753167fc010bf04
parent c6429837df0f13e9ddcfb16e3596bea63b2e8b67
Author: Florian Dold <florian@dold.me>
Date:   Tue, 14 Jul 2026 22:44:38 +0200

webext: make switch exhaustive

Diffstat:
M
packages/taler-wallet-webextension/src/components/WalletActivity.tsx
 | 
14
++++++++++----

1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/packages/taler-wallet-webextension/src/components/WalletActivity.tsx b/packages/taler-wallet-webextension/src/components/WalletActivity.tsx
@@ -842,11 +842,15 @@ export function ObservabilityEventsTable(): VNode {
                         }`;
                       case NotificationType.RequestObservabilityEvent:
                         return i18n.str`wallet.${
-                          (not.events[0] as RequestObservabilityEventNotification)
-                            .operation
+                          (
+                            not
+                              .events[0] as RequestObservabilityEventNotification
+                          ).operation
                         }(${
-                          (not.events[0] as RequestObservabilityEventNotification)
-                            .requestId
+                          (
+                            not
+                              .events[0] as RequestObservabilityEventNotification
+                          ).requestId
                         })`;
                       case NotificationType.BankAccountChange:
                         return i18n.str`Bank account info changed`;
@@ -860,6 +864,8 @@ export function ObservabilityEventsTable(): VNode {
                         return i18n.str`Mailbox message deleted`;
                       case NotificationType.RequestProgress:
                         return i18n.str`Request progress`;
+                      case NotificationType.RequestProgressPhase:
+                        return i18n.str`Request progress (phase)`;
                       default: {
                         assertUnreachable(not.type);
                       }