[gnome-characters: 2/5] Sets improved window title when searching and restores previously selected category on search exit.
- From: Daiki Ueno <dueno src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-characters: 2/5] Sets improved window title when searching and restores previously selected category on search exit.
- Date: Tue, 30 Jul 2019 13:28:29 +0000 (UTC)
commit dd82138cae789c6eadc976159713d018978eeabd
Author: Paul Court <g rgoyle com>
Date: Wed Jul 24 11:27:18 2019 +0100
Sets improved window title when searching and restores previously selected category on search exit.
src/window.js | 4 ++++
1 file changed, 4 insertions(+)
---
diff --git a/src/window.js b/src/window.js
index 1d86cbb..2066105 100644
--- a/src/window.js
+++ b/src/window.js
@@ -156,6 +156,10 @@ var MainWindow = GObject.registerClass({
if (this._searchActive) {
let categoryList = this._categoryListView.get_visible_child();
categoryList.unselect_all();
+ this._updateTitle(_("Search Result"));
+ } else {
+ let categoryList = this._categoryListView.get_visible_child();
+ categoryList.restorePreviousSelection();
}
this.notify('search-active');
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]