From 30346884fe498b5c1c588249c26c11cad15655dd Mon Sep 17 00:00:00 2001 From: Phil Bull Date: Mon, 21 Mar 2011 11:51:22 -0400 Subject: [PATCH] Update terminology from "panel" to "top bar" when Ctrl+Alt+Tab is pressed. This is the term recommended for use by the Documentation Team. --- js/ui/panel.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/panel.js b/js/ui/panel.js index a75cf3db2..5ef212a93 100644 --- a/js/ui/panel.js +++ b/js/ui/panel.js @@ -974,7 +974,7 @@ Panel.prototype = { affectsStruts: false, affectsInputRegion: false }); - Main.ctrlAltTabManager.addGroup(this.actor, _("Panel"), 'start-here', + Main.ctrlAltTabManager.addGroup(this.actor, _("Top Bar"), 'start-here', { sortGroup: CtrlAltTab.SortGroup.TOP }); },