From 2c943cd4ec016a628877a6e83460f69124b9ee07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pete=20Nyk=C3=A4nen?= <pete.a.nykanen@gmail.com>
Date: Wed, 28 Jun 2017 16:45:54 +0300
Subject: [PATCH] Fix NavigationProvider throwing errors when doc.file is
 missing. Fixes #13491 (#13492)

Signed-off-by: petetnt <pete.a.nykanen@gmail.com>
---
 .../default/NavigationAndHistory/NavigationProvider.js        | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/extensions/default/NavigationAndHistory/NavigationProvider.js b/src/extensions/default/NavigationAndHistory/NavigationProvider.js
index 59e713c823c..06a0014cf1c 100644
--- a/src/extensions/default/NavigationAndHistory/NavigationProvider.js
+++ b/src/extensions/default/NavigationAndHistory/NavigationProvider.js
@@ -535,7 +535,9 @@ define(function (require, exports, module) {
             _reinstateMarkers(editor, jumpForwardStack);
         });
         FileSystem.on("change", function (event, entry) {
-            _handleExternalChange(event, {file: entry});
+            if (entry) {
+                _handleExternalChange(event, {file: entry});
+            }
         });
         Document.on("_documentRefreshed", function (event, doc) {
             _handleExternalChange(event, {file: doc.file});