From 1b85a2bfcad789b520a1f593f51afa21691aa783 Mon Sep 17 00:00:00 2001
From: thyttan <6uuxstm66@mozmail.com⁩>
Date: Sun, 12 Mar 2023 01:39:28 +0100
Subject: [PATCH] convert old quicklaunch.json key names to the new ones.

---
 apps/quicklaunch/settings.js | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/apps/quicklaunch/settings.js b/apps/quicklaunch/settings.js
index fb80fae31..10ef98584 100644
--- a/apps/quicklaunch/settings.js
+++ b/apps/quicklaunch/settings.js
@@ -2,6 +2,19 @@
 var storage = require("Storage");
 var settings = Object.assign(storage.readJSON("quicklaunch.json", true) || {});
 
+// Convert settings object from before v.0.12
+for (let c of ["leftapp","rightapp","upapp","downapp","tapapp"]){
+  if (settings[c]) {
+    if (settings[c].name=="Quick Launch Extension") settings[c].name = "Extension";
+    settings[c.substring(0,1)+"app"] = settings[c];
+    delete settings[c];
+  } 
+}
+for (let c of ["extleftapp","extrightapp","extupapp","extdownapp","exttapapp"]){
+  if (settings[c]) delete settings[c];
+}
+
+// Add default settings if they haven't been configured before. 
 for (let c of ["lapp","rapp","uapp","dapp","tapp"]){ // l=left, r=right, u=up, d=down, t=tap.
   if (!settings[c]) settings[c] = {"name":"(none)"};
 }