From 6fb33332520fd61a289c163f202c22e9bbf3dcbd Mon Sep 17 00:00:00 2001
From: John Lindal <github@newplanetsoftware.com>
Date: Sun, 9 Jun 2024 16:41:33 -0700
Subject: [PATCH] JXDocumentManager: fix for edge case where file was on disk,
 but no longer

---
 libjx/code/JXDocumentManager.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libjx/code/JXDocumentManager.cpp b/libjx/code/JXDocumentManager.cpp
index 03ad8c776..ac837d023 100644
--- a/libjx/code/JXDocumentManager.cpp
+++ b/libjx/code/JXDocumentManager.cpp
@@ -680,6 +680,7 @@ JXDocumentManager::UpdateDocumentMenu
 		const JString& n2 = i == count ? JString::empty : itsDocList->GetItem(i+1).doc->GetName();
 		if (n2 != n1)
 		{
+new_name:
 			if (firstIndex > 0)
 			{
 				for (JIndex j=firstIndex; j<=i; j++)
@@ -701,6 +702,10 @@ JXDocumentManager::UpdateDocumentMenu
 		const JString* s1 = nameList.GetItem(i);
 		const JString* s2 = nameList.GetItem(i+1);
 		JSize ml          = JString::CalcCharacterMatchLength(*s1, *s2);
+		if (ml == 0)
+		{
+			goto new_name;
+		}
 
 		JStringIterator iter(*s1, JStringIterator::kStartAfterChar, ml);
 		JUtf8Character c;