From c99a7a0075974be3fa699adce8ece97a43b62ace Mon Sep 17 00:00:00 2001
From: Alessandro Cocco <alessandrococco@users.noreply.github.com>
Date: Thu, 16 Jun 2022 22:04:40 +0200
Subject: [PATCH] [Alarms & Timers] Add new option for delete a timer after it
 expires

---
 apps/alarm/app.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/apps/alarm/app.js b/apps/alarm/app.js
index 0a7bb8f24..bc0b2cf0e 100644
--- a/apps/alarm/app.js
+++ b/apps/alarm/app.js
@@ -280,6 +280,10 @@ function showEditTimerMenu(selectedTimer, timerIndex) {
       value: timer.on,
       onchange: v => timer.on = v
     },
+    /*LANG*/"Delete After Expiration": {
+      value: timer.del,
+      onchange: v => timer.del = v
+    },
     /*LANG*/"Vibrate": require("buzz_menu").pattern(timer.vibrate, v => timer.vibrate = v),
     /*LANG*/"Cancel": () => showMainMenu()
   };