From 0fc6e9ca2c9938ec5031c51163d54a778ae72f3f Mon Sep 17 00:00:00 2001
From: David Triphon <david.triphon@gmail.com>
Date: Mon, 20 Jul 2020 12:21:29 -0700
Subject: [PATCH] Add the settings version updater to prevent failures when
 moving up versions.

---
 src/js/profile/application_settings.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/js/profile/application_settings.js b/src/js/profile/application_settings.js
index 8421bb97..7015087e 100644
--- a/src/js/profile/application_settings.js
+++ b/src/js/profile/application_settings.js
@@ -483,7 +483,7 @@ export class ApplicationSettings extends ReadWriteProxy {
     }
 
     getCurrentVersion() {
-        return 18;
+        return 19;
     }
 
     /** @param {{settings: SettingsStorage, version: number}} data */
@@ -561,6 +561,11 @@ export class ApplicationSettings extends ReadWriteProxy {
             data.version = 18;
         }
 
+        if (data.version < 19) {
+            data.settings.middleMousePan = false;
+            data.version = 19;
+        }
+
         return ExplainedResult.good();
     }
 }