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 === '') {