From 6e35561aebf705d86983ee1b2d9bd6ab690bba98 Mon Sep 17 00:00:00 2001
From: Alexandre Bourdin <abourdin@users.noreply.github.com>
Date: Wed, 10 Mar 2021 10:09:35 +0100
Subject: [PATCH] Merge pull request #3725 from overleaf/ab-ta-pdf-sync-spinner

Stop spinner on PDF sync when file does not exist anymore

GitOrigin-RevId: cba4bf3dd3d90c2894c6c5f1b28d184f18bb08fd
---
 services/web/.gitignore                                       | 3 +++
 services/web/frontend/js/ide/pdf/controllers/PdfController.js | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/services/web/.gitignore b/services/web/.gitignore
index d36fdbc34b..62600c40b0 100644
--- a/services/web/.gitignore
+++ b/services/web/.gitignore
@@ -68,3 +68,6 @@ modules/**/Makefile
 
 # via dev-environment
 .npmrc
+
+# Intellij
+.idea
diff --git a/services/web/frontend/js/ide/pdf/controllers/PdfController.js b/services/web/frontend/js/ide/pdf/controllers/PdfController.js
index 18d14d0be7..7fa6c6f187 100644
--- a/services/web/frontend/js/ide/pdf/controllers/PdfController.js
+++ b/services/web/frontend/js/ide/pdf/controllers/PdfController.js
@@ -1063,7 +1063,7 @@ App.factory('synctex', function(ide, $http, $q) {
           ) {
             const doc = ide.fileTreeManager.findEntityByPath(data.code[0].file)
             if (doc == null) {
-              return
+              deferred.reject()
             }
             return deferred.resolve({ doc, line: data.code[0].line })
           } else if (data.code[0].file === '') {