overview: Make viewSelector private

It's only used internally by the overview itself,
and by some performance testing code, so don't
expose it as a public object.

https://bugzilla.gnome.org/show_bug.cgi?id=657082
This commit is contained in:
Ray Strode
2011-08-28 09:29:51 -04:00
parent 5088f22388
commit 80a9d2e7c9
2 changed files with 14 additions and 14 deletions

View File

@ -113,10 +113,10 @@ function run() {
for (let i = 0; i < 2; i++) {
Scripting.scriptEvent('applicationsShowStart');
Main.overview.viewSelector.switchTab('applications');
Main.overview._viewSelector.switchTab('applications');
yield Scripting.waitLeisure();
Scripting.scriptEvent('applicationsShowDone');
Main.overview.viewSelector.switchTab('windows');
Main.overview._viewSelector.switchTab('windows');
yield Scripting.waitLeisure();
}
}