[gnome-shell] Reset page number when changing the active category
- From: Owen Taylor <otaylor src gnome org>
- To: svn-commits-list gnome org
- Subject: [gnome-shell] Reset page number when changing the active category
- Date: Tue, 7 Jul 2009 11:00:23 +0000 (UTC)
commit 72e6e7839feaebf26a9011cd3f5041a43eed5905
Author: Siegfried-Angel Gevatter Pujals <rainct ubuntu com>
Date: Tue Jul 7 12:20:17 2009 +0200
Reset page number when changing the active category
js/ui/appDisplay.js | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index cff5282..f45548a 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -296,7 +296,7 @@ AppDisplay.prototype = {
this._activeMenuApps = this._appSystem.get_applications_for_menu(id);
}
}
- this._redisplay();
+ this._redisplay(true);
}));
this._menuDisplay.append(display.actor, 0);
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]