From 4bbc745f4a42f6e5dcecd33b44e2d43fe89a07cc Mon Sep 17 00:00:00 2001
From: Brian Gough <briangough@users.noreply.github.com>
Date: Wed, 29 Jan 2020 15:05:57 +0000
Subject: [PATCH] Merge pull request #2546 from
 overleaf/bg-update-filetree-on-open

update the file tree selection whenever a document is opened

GitOrigin-RevId: 88d7b651b43d0a0ca5fa9998d4c42c7b1d3effc5
---
 services/web/frontend/js/ide/editor/EditorManager.js          | 2 ++
 services/web/frontend/js/ide/pdf/controllers/PdfController.js | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/frontend/js/ide/editor/EditorManager.js b/services/web/frontend/js/ide/editor/EditorManager.js
index 12fc7877e1..f63730de44 100644
--- a/services/web/frontend/js/ide/editor/EditorManager.js
+++ b/services/web/frontend/js/ide/editor/EditorManager.js
@@ -146,6 +146,8 @@ define([
         }
 
         if (doc.id === this.$scope.editor.open_doc_id && !options.forceReopen) {
+          // automatically update the file tree whenever the file is opened
+          this.ide.fileTreeManager.selectEntity(doc)
           this.$scope.$apply(() => {
             return done()
           })
diff --git a/services/web/frontend/js/ide/pdf/controllers/PdfController.js b/services/web/frontend/js/ide/pdf/controllers/PdfController.js
index 6e1e9fd566..026276d735 100644
--- a/services/web/frontend/js/ide/pdf/controllers/PdfController.js
+++ b/services/web/frontend/js/ide/pdf/controllers/PdfController.js
@@ -1018,8 +1018,6 @@ define([
       ide.editorManager.openDoc(entity, {
         gotoLine: line,
         gotoColumn: column
-        // commented out because it causes an out of sync error
-        // forceReopen: true
       })
     }
   })