From 0e09c877a64b0059db885688acf65063bef2fdff Mon Sep 17 00:00:00 2001
From: Martin Kretzschmar <martink@src.gnome.org>
Date: Sat, 22 Jan 2005 20:18:39 +0000
Subject: (update_window_title): empty titles are useless, use filename in that

case too.
---
(limited to 'shell')

diff --git a/shell/ev-window.c b/shell/ev-window.c
index 9862351..d46d98d 100644
--- a/shell/ev-window.c
+++ b/shell/ev-window.c
@@ -335,7 +335,7 @@ update_window_title (EvDocument *document, GParamSpec *pspec, EvWindow *ev_windo
 	} else {
 		title = ev_document_get_title (document);
 
-		if (title == NULL) {
+		if (title == NULL || (title && strlen (title) == 0)) {
 			title = g_path_get_basename (ev_window->priv->uri);
 		}
 	}
--
cgit v0.9.1