[devhelp] Window: better window title when empty page
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [devhelp] Window: better window title when empty page
- Date: Fri, 2 Feb 2018 14:42:40 +0000 (UTC)
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);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]