From d51549c4f0be55d3888125bc8de71ca85d647964 Mon Sep 17 00:00:00 2001
From: Chrystal Griffiths <chrystal.griffiths@overleaf.com>
Date: Fri, 5 Oct 2018 11:19:20 +0100
Subject: [PATCH] Use ng-if to switch between pdf and editor

---
 services/web/app/views/project/editor/editor.pug | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/services/web/app/views/project/editor/editor.pug b/services/web/app/views/project/editor/editor.pug
index fda0fa6446..93368ceba4 100644
--- a/services/web/app/views/project/editor/editor.pug
+++ b/services/web/app/views/project/editor/editor.pug
@@ -102,7 +102,6 @@ div.full-size(
 		)
 			i.synctex-control-icon
 div.full-size(
-	ng-if="ui.pdfLayout == 'flat'"
-	ng-show="ui.view == 'pdf'"
+	ng-if="ui.pdfLayout == 'flat' && ui.view == 'pdf'"
 )
 	include ./pdf