From 464c7c79d8bfa0903c1b17fb99894673e2eca0f7 Mon Sep 17 00:00:00 2001
From: Alasdair Smith <ali@alasdairsmith.co.uk>
Date: Thu, 28 Sep 2017 11:31:55 +0100
Subject: [PATCH] Keep track of pdf panel width

---
 services/web/public/coffee/ide.coffee | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/services/web/public/coffee/ide.coffee b/services/web/public/coffee/ide.coffee
index 6e4061081c..b082ed0413 100644
--- a/services/web/public/coffee/ide.coffee
+++ b/services/web/public/coffee/ide.coffee
@@ -73,6 +73,7 @@ define [
 			chatOpen: false
 			pdfLayout: 'sideBySide'
 			pdfHidden: false,
+			pdfWidth: 0,
 			reviewPanelOpen: localStorage("ui.reviewPanelOpen.#{window.project_id}")
 			miniReviewPanelVisible: false,
 			showAutoCompileOnboarding: window.user.betaProgram and window.showAutoCompileOnboarding
@@ -107,6 +108,7 @@ define [
 
 		$scope.$on "layout:pdf:resize", (_, layoutState) ->
 			$scope.ui.pdfHidden = layoutState.east.initClosed
+			$scope.ui.pdfWidth = layoutState.east.size
 
 		# Tracking code.
 		$scope.$watch "ui.view", (newView, oldView) ->