[devhelp] Window: better window title when empty page

[Sébastien Wilmet <swilmet src gnome org>]

commit f743917f53c31d51504dd2a8f643a71f3f38fe60
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Fri Feb 2 15:37:54 2018 +0100

    Window: better window title when empty page
    
    The doc of gtk_header_bar_set_title() doesn't recommend to have the app
    name in the title.
    
    "Empty Page" is already used for the tab title (when there are several
    tabs), so I think it's a good idea to be consistent and have the window
    title match the current tab title.

 src/dh-window.c |    8 ++------
 1 files changed, 2 insertions(+), 6 deletions(-)
---
diff --git a/src/dh-window.c b/src/dh-window.c
index 0ad0629..e016fe3 100644
--- a/src/dh-window.c
+++ b/src/dh-window.c
@@ -199,12 +199,8 @@ update_window_title (DhWindow *window)
         if (web_view != NULL)
                 title = webkit_web_view_get_title (web_view);
 
-        if (title == NULL || title[0] == '\0') {
-                /* Translators: please don't translate "Devhelp" (it's marked as
-                 * translatable for transliteration only).
-                 */
-                title = _("Devhelp");
-        }
+        if (title == NULL || title[0] == '\0')
+                title = _("Empty Page");
 
         gtk_header_bar_set_title (priv->header_bar, title);
 }