From f6fdf49a8be07c7466b66557cde15d6de37ffa44 Mon Sep 17 00:00:00 2001
From: ljars <ljarstad@ucsd.edu>
Date: Thu, 21 Mar 2024 09:55:06 -0700
Subject: [PATCH] Handle docTitle non-null but empty.

---
 .../main/java/com/artifex/mupdf/viewer/DocumentActivity.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/main/java/com/artifex/mupdf/viewer/DocumentActivity.java b/lib/src/main/java/com/artifex/mupdf/viewer/DocumentActivity.java
index 7ba2ca6..861f4ff 100644
--- a/lib/src/main/java/com/artifex/mupdf/viewer/DocumentActivity.java
+++ b/lib/src/main/java/com/artifex/mupdf/viewer/DocumentActivity.java
@@ -415,7 +415,7 @@ protected void onTextFound(SearchTaskResult result) {
 
 		// Set the file-name text
 		String docTitle = core.getTitle();
-		if (docTitle != null)
+		if (docTitle != null && !docTitle.isEmpty())
 			mDocNameView.setText(docTitle);
 		else
 			mDocNameView.setText(mDocTitle);