From 9629caefb7e6423020d035b0b213a1d266917fc2 Mon Sep 17 00:00:00 2001
From: Jason Rudolph <jason@jasonrudolph.com>
Date: Fri, 2 Jun 2017 15:09:20 -0400
Subject: [PATCH] Remove unnecessary serialization

---
 src/workspace.js | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/workspace.js b/src/workspace.js
index 6f9909694..991f74a71 100644
--- a/src/workspace.js
+++ b/src/workspace.js
@@ -345,8 +345,7 @@ module.exports = class Workspace extends Model {
         left: this.paneContainers.left.serialize(),
         right: this.paneContainers.right.serialize(),
         bottom: this.paneContainers.bottom.serialize()
-      },
-      hasActiveTextEditor: this.hasActiveTextEditor
+      }
     }
   }
 
@@ -373,9 +372,7 @@ module.exports = class Workspace extends Model {
       this.paneContainers.center.deserialize(state.paneContainer, deserializerManager)
     }
 
-    if (state.hasActiveTextEditor != null) {
-      this.hasActiveTextEditor = state.hasActiveTextEditor
-    }
+    this.hasActiveTextEditor = this.getActiveTextEditor() != null
 
     this.updateWindowTitle()
   }