fix(left-pane): preferred width is not restored (closes #990)

src/public/app/services/options.ts

@@ -36,10 +36,14 @@ class Options {
 
     getInt(key: string) {
         const value = this.arr?.[key];
-        if (typeof value !== "string") {
+        if (typeof value === "number") {
-            return null;
+            return value;
+        }
+        if (typeof value == "string") {
+            return parseInt(value);
         }
-        return parseInt(value);
+        console.warn("Attempting to read int for unsupported value: ", value);
+        return null;
     }
 
     getFloat(key: string) {