From 92348d88271a3208a9cae3a3e86aa23711dbab7a Mon Sep 17 00:00:00 2001
From: Rob Pilling <robpilling@gmail.com>
Date: Wed, 6 Nov 2024 07:38:52 +0000
Subject: [PATCH] drained: menu is `Menu`, not `{...}` type

---
 apps/drained/app.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/drained/app.ts b/apps/drained/app.ts
index fd39b11bd..eea3c80fc 100644
--- a/apps/drained/app.ts
+++ b/apps/drained/app.ts
@@ -79,7 +79,7 @@ const draw = () => {
 
 const reload = () => {
   const showMenu = () => {
-    const menu: { [k: string]: () => void } = {
+    const menu: Menu = {
       "Restore to full power": drainedRestore,
     };