brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

viewSelector: add a method to get the currently active page

Browse Source 
https://bugzilla.gnome.org/show_bug.cgi?id=682050
This commit is contained in:
Cosimo Cecchi 2013-02-13 16:13:14 -05:00
parent f2edcb9bdf
commit 4016da6632
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
js/ui/viewSelector.js
View File

@ -23,6 +23,12 @@ const WorkspacesView = imports.ui.workspacesView;
const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings'; const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings';
const ViewPage = {
WINDOWS: 1,
APPS: 2,
SEARCH: 3
};
const FocusTrap = new Lang.Class({ const FocusTrap = new Lang.Class({
Name: 'FocusTrap', Name: 'FocusTrap',
Extends: St.Widget, Extends: St.Widget,
@ -476,6 +482,15 @@ const ViewSelector = new Lang.Class({
removeSearchProvider: function(provider) { removeSearchProvider: function(provider) {
this._searchSystem.unregisterProvider(provider); this._searchSystem.unregisterProvider(provider);
this._searchResults.destroyProviderMeta(provider); this._searchResults.destroyProviderMeta(provider);
},
getActivePage: function() {
if (this._activePage == this._workspacesPage)
return ViewPage.WINDOWS;
else if (this._activePage == this._appsPage)
return ViewPage.APPS;
else
return ViewPage.SEARCH;
} }
}); });
Signals.addSignalMethods(ViewSelector.prototype); Signals.addSignalMethods(ViewSelector.prototype);