From f9df38bc5bf83a5147d30ec2bc2747661f3ae648 Mon Sep 17 00:00:00 2001
From: Vincent Klaiber <vincentklaiber@gmail.com>
Date: Sun, 21 Apr 2019 22:34:59 +0200
Subject: [PATCH] Fix reset-font-size

If the user config is yet to be loaded oldValue equals the default font-size 14px. Fetching the font-size from the config object seems to fix the issue.
---
 src/workspace.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/workspace.js b/src/workspace.js
index a3f85ddeb..141ef5181 100644
--- a/src/workspace.js
+++ b/src/workspace.js
@@ -1543,9 +1543,9 @@ module.exports = class Workspace extends Model {
   }
 
   subscribeToFontSize () {
-    return this.config.onDidChange('editor.fontSize', ({oldValue}) => {
+    return this.config.onDidChange('editor.fontSize', () => {
       if (this.originalFontSize == null) {
-        this.originalFontSize = oldValue
+        this.originalFontSize = this.config.get('editor.fontSize')
       }
     })
   }