[gnome-characters] window: Set initial title of "Recently Used" page
- From: Daiki Ueno <dueno src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-characters] window: Set initial title of "Recently Used" page
- Date: Thu, 24 Aug 2017 14:56:25 +0000 (UTC)
commit d43f51d2047723a6b8cb57bb75d503fd2f167396
Author: Daiki Ueno <dueno src gnome org>
Date: Tue Aug 22 13:42:45 2017 +0200
window: Set initial title of "Recently Used" page
src/window.js | 4 +++-
1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/src/window.js b/src/window.js
index e5a978c..bd62dad 100644
--- a/src/window.js
+++ b/src/window.js
@@ -368,7 +368,9 @@ const MainView = new Lang.Class({
hexpand: false,
});
scroll.add(recentBox);
- this.add_titled(scroll, 'recent', 'Recently Used');
+ // FIXME: Can't use GtkContainer.child_get_property.
+ scroll.title = _('Recently Used');
+ this.add_titled(scroll, 'recent', scroll.title);
characterList = this._createCharacterList(
'search-result', _('Search Result Character List'));
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]