2011-09-28 09:16:26 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2008-10-31 00:22:44 -04:00
|
|
|
const Clutter = imports.gi.Clutter;
|
2009-05-01 14:13:51 -04:00
|
|
|
const Gdk = imports.gi.Gdk;
|
2009-01-22 16:28:19 -05:00
|
|
|
const Gio = imports.gi.Gio;
|
2009-08-28 15:11:25 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
2009-05-07 09:47:48 -04:00
|
|
|
const Lang = imports.lang;
|
2008-12-05 16:50:09 -05:00
|
|
|
const Mainloop = imports.mainloop;
|
2009-04-29 14:01:09 -04:00
|
|
|
const Meta = imports.gi.Meta;
|
2009-02-02 18:02:16 -05:00
|
|
|
const Shell = imports.gi.Shell;
|
2009-09-10 01:36:41 -04:00
|
|
|
const St = imports.gi.St;
|
2008-10-31 00:22:44 -04:00
|
|
|
|
2011-06-20 15:16:40 -04:00
|
|
|
const AutomountManager = imports.ui.automountManager;
|
2011-07-12 09:47:43 -04:00
|
|
|
const AutorunManager = imports.ui.autorunManager;
|
2010-07-01 14:13:42 -04:00
|
|
|
const CtrlAltTab = imports.ui.ctrlAltTab;
|
2011-01-06 10:30:15 -05:00
|
|
|
const EndSessionDialog = imports.ui.endSessionDialog;
|
2011-02-21 12:17:34 -05:00
|
|
|
const PolkitAuthenticationAgent = imports.ui.polkitAuthenticationAgent;
|
2012-01-10 10:37:26 -05:00
|
|
|
const KeyringPrompt = imports.ui.keyringPrompt;
|
2009-09-18 15:51:15 -04:00
|
|
|
const Environment = imports.ui.environment;
|
2009-10-25 18:53:10 -04:00
|
|
|
const ExtensionSystem = imports.ui.extensionSystem;
|
2011-08-29 11:11:22 -04:00
|
|
|
const Keyboard = imports.ui.keyboard;
|
2010-01-13 15:05:20 -05:00
|
|
|
const MessageTray = imports.ui.messageTray;
|
2009-08-11 07:46:10 -04:00
|
|
|
const Overview = imports.ui.overview;
|
2009-02-02 18:02:16 -05:00
|
|
|
const Panel = imports.ui.panel;
|
2009-10-31 22:25:28 -04:00
|
|
|
const PlaceDisplay = imports.ui.placeDisplay;
|
2008-12-09 17:10:43 -05:00
|
|
|
const RunDialog = imports.ui.runDialog;
|
2011-06-13 09:54:05 -04:00
|
|
|
const Layout = imports.ui.layout;
|
2009-08-02 03:46:01 -04:00
|
|
|
const LookingGlass = imports.ui.lookingGlass;
|
2011-08-19 14:29:39 -04:00
|
|
|
const NetworkAgent = imports.ui.networkAgent;
|
2010-01-13 15:05:20 -05:00
|
|
|
const NotificationDaemon = imports.ui.notificationDaemon;
|
2010-02-22 13:53:41 -05:00
|
|
|
const WindowAttentionHandler = imports.ui.windowAttentionHandler;
|
2010-05-09 13:42:35 -04:00
|
|
|
const Scripting = imports.ui.scripting;
|
2009-09-23 14:30:05 -04:00
|
|
|
const ShellDBus = imports.ui.shellDBus;
|
2010-02-02 10:21:47 -05:00
|
|
|
const TelepathyClient = imports.ui.telepathyClient;
|
2008-12-09 17:10:43 -05:00
|
|
|
const WindowManager = imports.ui.windowManager;
|
2010-05-10 12:40:03 -04:00
|
|
|
const Magnifier = imports.ui.magnifier;
|
2011-01-05 09:47:27 -05:00
|
|
|
const XdndHandler = imports.ui.xdndHandler;
|
2010-08-09 12:33:34 -04:00
|
|
|
const StatusIconDispatcher = imports.ui.statusIconDispatcher;
|
2010-11-17 11:43:08 -05:00
|
|
|
const Util = imports.misc.util;
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2012-03-07 19:29:17 -05:00
|
|
|
const OVERRIDES_SCHEMA = 'org.gnome.shell.overrides';
|
2008-10-31 14:29:42 -04:00
|
|
|
const DEFAULT_BACKGROUND_COLOR = new Clutter.Color();
|
|
|
|
DEFAULT_BACKGROUND_COLOR.from_pixel(0x2266bbff);
|
|
|
|
|
2011-06-20 15:16:40 -04:00
|
|
|
let automountManager = null;
|
2011-07-12 09:47:43 -04:00
|
|
|
let autorunManager = null;
|
2008-10-31 14:09:20 -04:00
|
|
|
let panel = null;
|
2011-02-23 09:17:25 -05:00
|
|
|
let hotCorners = [];
|
2009-10-31 22:25:28 -04:00
|
|
|
let placesManager = null;
|
2009-08-11 07:46:10 -04:00
|
|
|
let overview = null;
|
2008-12-09 17:10:43 -05:00
|
|
|
let runDialog = null;
|
2009-08-02 03:46:01 -04:00
|
|
|
let lookingGlass = null;
|
2008-11-21 09:02:09 -05:00
|
|
|
let wm = null;
|
2010-01-13 15:05:20 -05:00
|
|
|
let messageTray = null;
|
2010-02-02 10:21:47 -05:00
|
|
|
let notificationDaemon = null;
|
2010-02-22 13:53:41 -05:00
|
|
|
let windowAttentionHandler = null;
|
2010-02-02 10:21:47 -05:00
|
|
|
let telepathyClient = null;
|
2010-07-01 14:13:42 -04:00
|
|
|
let ctrlAltTabManager = null;
|
2009-03-13 17:14:31 -04:00
|
|
|
let recorder = null;
|
2009-09-23 14:30:05 -04:00
|
|
|
let shellDBusService = null;
|
2009-09-15 15:53:07 -04:00
|
|
|
let modalCount = 0;
|
|
|
|
let modalActorFocusStack = [];
|
2010-05-06 17:18:10 -04:00
|
|
|
let uiGroup = null;
|
2010-05-10 12:40:03 -04:00
|
|
|
let magnifier = null;
|
2011-01-05 09:47:27 -05:00
|
|
|
let xdndHandler = null;
|
2010-08-09 12:33:34 -04:00
|
|
|
let statusIconDispatcher = null;
|
2011-08-29 11:11:22 -04:00
|
|
|
let keyboard = null;
|
2011-06-13 09:54:05 -04:00
|
|
|
let layoutManager = null;
|
2011-08-19 14:29:39 -04:00
|
|
|
let networkAgent = null;
|
2009-10-24 13:36:52 -04:00
|
|
|
let _startDate;
|
2011-02-01 10:11:00 -05:00
|
|
|
let _defaultCssStylesheet = null;
|
|
|
|
let _cssStylesheet = null;
|
2011-08-23 22:12:57 -04:00
|
|
|
let _gdmCssStylesheet = null;
|
2012-03-07 19:29:17 -05:00
|
|
|
let _overridesSettings = null;
|
2008-10-31 14:09:20 -04:00
|
|
|
|
2010-02-03 14:47:52 -05:00
|
|
|
let background = null;
|
|
|
|
|
2011-08-23 21:53:02 -04:00
|
|
|
function _createUserSession() {
|
|
|
|
// Load the calendar server. Note that we are careful about
|
|
|
|
// not loading any events until the user presses the clock
|
|
|
|
global.launch_calendar_server();
|
|
|
|
|
|
|
|
placesManager = new PlaceDisplay.PlacesManager();
|
|
|
|
telepathyClient = new TelepathyClient.Client();
|
|
|
|
automountManager = new AutomountManager.AutomountManager();
|
|
|
|
autorunManager = new AutorunManager.AutorunManager();
|
|
|
|
networkAgent = new NetworkAgent.NetworkAgent();
|
|
|
|
}
|
|
|
|
|
2011-08-23 22:12:57 -04:00
|
|
|
function _createGDMSession() {
|
|
|
|
// We do this this here instead of at the top to prevent GDM
|
|
|
|
// related code from getting loaded in normal user sessions
|
|
|
|
const LoginDialog = imports.gdm.loginDialog;
|
|
|
|
|
|
|
|
let loginDialog = new LoginDialog.LoginDialog();
|
|
|
|
loginDialog.connect('loaded', function() {
|
|
|
|
loginDialog.open();
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2011-08-23 21:53:02 -04:00
|
|
|
function _initRecorder() {
|
|
|
|
let recorderSettings = new Gio.Settings({ schema: 'org.gnome.shell.recorder' });
|
2012-04-18 14:45:09 -04:00
|
|
|
let bindingSettings = new Gio.Settings({ schema: 'org.gnome.shell.keybindings' });
|
2011-08-23 21:53:02 -04:00
|
|
|
|
2012-04-18 14:45:09 -04:00
|
|
|
global.display.add_keybinding('toggle-recording',
|
|
|
|
bindingSettings,
|
|
|
|
Meta.KeyBindingFlags.NONE, function() {
|
2011-08-23 21:53:02 -04:00
|
|
|
if (recorder == null) {
|
|
|
|
recorder = new Shell.Recorder({ stage: global.stage });
|
|
|
|
}
|
|
|
|
|
|
|
|
if (recorder.is_recording()) {
|
|
|
|
recorder.pause();
|
2011-08-29 17:55:42 -04:00
|
|
|
Meta.enable_unredirect_for_screen(global.screen);
|
2011-08-23 21:53:02 -04:00
|
|
|
} else {
|
|
|
|
// read the parameters from GSettings always in case they have changed
|
|
|
|
recorder.set_framerate(recorderSettings.get_int('framerate'));
|
2012-02-24 18:51:44 -05:00
|
|
|
/* Translators: this is a filename used for screencast recording */
|
|
|
|
// xgettext:no-c-format
|
2012-02-26 12:09:49 -05:00
|
|
|
recorder.set_filename(_("Screencast from %d %t") + '.' + recorderSettings.get_string('file-extension'));
|
2011-08-23 21:53:02 -04:00
|
|
|
let pipeline = recorderSettings.get_string('pipeline');
|
|
|
|
|
|
|
|
if (!pipeline.match(/^\s*$/))
|
|
|
|
recorder.set_pipeline(pipeline);
|
|
|
|
else
|
|
|
|
recorder.set_pipeline(null);
|
|
|
|
|
2011-08-29 17:55:42 -04:00
|
|
|
Meta.disable_unredirect_for_screen(global.screen);
|
2011-08-23 21:53:02 -04:00
|
|
|
recorder.record();
|
|
|
|
}
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
function _initUserSession() {
|
|
|
|
_initRecorder();
|
|
|
|
|
|
|
|
global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT, false, -1, 1);
|
|
|
|
|
|
|
|
ExtensionSystem.init();
|
|
|
|
ExtensionSystem.loadExtensions();
|
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
Meta.keybindings_set_custom_handler('panel-run-dialog', function() {
|
2011-08-23 21:53:02 -04:00
|
|
|
getRunDialog().open();
|
|
|
|
});
|
|
|
|
|
2011-11-06 20:16:15 -05:00
|
|
|
Meta.keybindings_set_custom_handler('panel-main-menu', function () {
|
2011-08-23 21:53:02 -04:00
|
|
|
overview.toggle();
|
|
|
|
});
|
|
|
|
|
|
|
|
global.display.connect('overlay-key', Lang.bind(overview, overview.toggle));
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2008-10-31 00:22:44 -04:00
|
|
|
function start() {
|
2012-04-29 16:42:45 -04:00
|
|
|
// These are here so we don't break compatibility.
|
|
|
|
global.logError = window.log;
|
|
|
|
global.log = window.log;
|
2009-10-24 13:36:52 -04:00
|
|
|
|
2011-03-15 18:31:16 -04:00
|
|
|
// Chain up async errors reported from C
|
|
|
|
global.connect('notify-error', function (global, msg, detail) { notifyError(msg, detail); });
|
|
|
|
|
2010-05-13 15:46:04 -04:00
|
|
|
Gio.DesktopAppInfo.set_desktop_env('GNOME');
|
2009-01-22 16:28:19 -05:00
|
|
|
|
2009-09-23 14:30:05 -04:00
|
|
|
shellDBusService = new ShellDBus.GnomeShell();
|
2008-10-31 14:29:42 -04:00
|
|
|
|
2009-10-15 19:28:29 -04:00
|
|
|
// Ensure ShellWindowTracker and ShellAppUsage are initialized; this will
|
2009-08-12 13:32:54 -04:00
|
|
|
// also initialize ShellAppSystem first. ShellAppSystem
|
2009-10-15 19:28:29 -04:00
|
|
|
// needs to load all the .desktop files, and ShellWindowTracker
|
2009-08-12 13:32:54 -04:00
|
|
|
// will use those to associate with windows. Right now
|
|
|
|
// the Monitor doesn't listen for installed app changes
|
|
|
|
// and recalculate application associations, so to avoid
|
|
|
|
// races for now we initialize it here. It's better to
|
|
|
|
// be predictable anyways.
|
2012-02-17 09:57:27 -05:00
|
|
|
let tracker = Shell.WindowTracker.get_default();
|
2009-10-15 19:28:29 -04:00
|
|
|
Shell.AppUsage.get_default();
|
2009-08-12 13:32:54 -04:00
|
|
|
|
2012-02-17 09:57:27 -05:00
|
|
|
tracker.connect('startup-sequence-changed', _queueCheckWorkspaces);
|
|
|
|
|
2010-11-13 13:02:39 -05:00
|
|
|
// The stage is always covered so Clutter doesn't need to clear it; however
|
2010-11-14 13:13:44 -05:00
|
|
|
// the color is used as the default contents for the Mutter root background
|
|
|
|
// actor so set it anyways.
|
2008-10-31 14:29:42 -04:00
|
|
|
global.stage.color = DEFAULT_BACKGROUND_COLOR;
|
2010-11-13 13:02:39 -05:00
|
|
|
global.stage.no_clear_hint = true;
|
2008-10-31 14:29:42 -04:00
|
|
|
|
2011-02-01 10:11:00 -05:00
|
|
|
_defaultCssStylesheet = global.datadir + '/theme/gnome-shell.css';
|
2011-08-23 22:12:57 -04:00
|
|
|
_gdmCssStylesheet = global.datadir + '/theme/gdm.css';
|
2011-01-04 14:30:03 -05:00
|
|
|
loadTheme();
|
2009-09-10 01:36:41 -04:00
|
|
|
|
2010-05-06 17:18:10 -04:00
|
|
|
// Set up stage hierarchy to group all UI actors under one container.
|
2011-09-01 10:20:52 -04:00
|
|
|
uiGroup = new Shell.GenericContainer({ name: 'uiGroup' });
|
|
|
|
uiGroup.connect('allocate',
|
|
|
|
function (actor, box, flags) {
|
|
|
|
let children = uiGroup.get_children();
|
|
|
|
for (let i = 0; i < children.length; i++)
|
|
|
|
children[i].allocate_preferred_size(flags);
|
|
|
|
});
|
2012-02-22 12:18:15 -05:00
|
|
|
uiGroup.connect('get-preferred-width',
|
|
|
|
function(actor, forHeight, alloc) {
|
|
|
|
let width = global.stage.width;
|
|
|
|
[alloc.min_size, alloc.natural_size] = [width, width];
|
|
|
|
});
|
|
|
|
uiGroup.connect('get-preferred-height',
|
|
|
|
function(actor, forWidth, alloc) {
|
|
|
|
let height = global.stage.height;
|
|
|
|
[alloc.min_size, alloc.natural_size] = [height, height];
|
|
|
|
});
|
2010-05-06 17:18:10 -04:00
|
|
|
global.window_group.reparent(uiGroup);
|
|
|
|
global.overlay_group.reparent(uiGroup);
|
|
|
|
global.stage.add_actor(uiGroup);
|
|
|
|
|
2011-06-13 09:54:05 -04:00
|
|
|
layoutManager = new Layout.LayoutManager();
|
2011-01-05 09:47:27 -05:00
|
|
|
xdndHandler = new XdndHandler.XdndHandler();
|
2011-02-07 11:29:34 -05:00
|
|
|
ctrlAltTabManager = new CtrlAltTab.CtrlAltTabManager();
|
2011-08-23 21:53:02 -04:00
|
|
|
// This overview object is just a stub for non-user sessions
|
|
|
|
overview = new Overview.Overview({ isDummy: global.session_type != Shell.SessionType.USER });
|
2010-07-21 04:44:59 -04:00
|
|
|
magnifier = new Magnifier.Magnifier();
|
2010-08-09 12:33:34 -04:00
|
|
|
statusIconDispatcher = new StatusIconDispatcher.StatusIconDispatcher();
|
2008-10-31 14:09:20 -04:00
|
|
|
panel = new Panel.Panel();
|
2008-11-21 09:02:09 -05:00
|
|
|
wm = new WindowManager.WindowManager();
|
2010-02-02 10:21:47 -05:00
|
|
|
messageTray = new MessageTray.MessageTray();
|
2011-08-29 11:11:22 -04:00
|
|
|
keyboard = new Keyboard.Keyboard();
|
2010-01-13 15:05:20 -05:00
|
|
|
notificationDaemon = new NotificationDaemon.NotificationDaemon();
|
2010-02-22 13:53:41 -05:00
|
|
|
windowAttentionHandler = new WindowAttentionHandler.WindowAttentionHandler();
|
2011-08-23 22:12:57 -04:00
|
|
|
|
|
|
|
if (global.session_type == Shell.SessionType.USER)
|
|
|
|
_createUserSession();
|
|
|
|
else if (global.session_type == Shell.SessionType.GDM)
|
|
|
|
_createGDMSession();
|
2011-01-31 12:48:18 -05:00
|
|
|
|
2011-08-22 17:47:59 -04:00
|
|
|
panel.startStatusArea();
|
2009-08-12 13:32:54 -04:00
|
|
|
|
2011-09-01 13:35:15 -04:00
|
|
|
layoutManager.init();
|
2011-08-23 21:53:02 -04:00
|
|
|
keyboard.init();
|
|
|
|
overview.init();
|
2009-03-13 17:14:31 -04:00
|
|
|
|
2011-08-23 21:53:02 -04:00
|
|
|
if (global.session_type == Shell.SessionType.USER)
|
|
|
|
_initUserSession();
|
|
|
|
statusIconDispatcher.start(messageTray.actor);
|
2011-01-30 18:21:31 -05:00
|
|
|
|
2011-01-06 10:30:15 -05:00
|
|
|
// Provide the bus object for gnome-session to
|
|
|
|
// initiate logouts.
|
|
|
|
EndSessionDialog.init();
|
|
|
|
|
2011-02-21 12:17:34 -05:00
|
|
|
// Attempt to become a PolicyKit authentication agent
|
|
|
|
PolkitAuthenticationAgent.init()
|
|
|
|
|
2012-01-10 10:37:26 -05:00
|
|
|
// Become a prompter for gnome keyring
|
|
|
|
KeyringPrompt.init();
|
|
|
|
|
2011-08-23 21:53:02 -04:00
|
|
|
_startDate = new Date();
|
2009-08-28 15:11:25 -04:00
|
|
|
|
|
|
|
global.stage.connect('captured-event', _globalKeyPressHandler);
|
|
|
|
|
2010-01-08 11:27:52 -05:00
|
|
|
log('GNOME Shell started at ' + _startDate);
|
2009-10-24 13:36:52 -04:00
|
|
|
|
2010-05-09 13:42:35 -04:00
|
|
|
let perfModuleName = GLib.getenv("SHELL_PERF_MODULE");
|
|
|
|
if (perfModuleName) {
|
|
|
|
let perfOutput = GLib.getenv("SHELL_PERF_OUTPUT");
|
|
|
|
let module = eval('imports.perf.' + perfModuleName + ';');
|
|
|
|
Scripting.runPerfScript(module, perfOutput);
|
|
|
|
}
|
2011-01-25 16:29:45 -05:00
|
|
|
|
2012-03-07 19:29:17 -05:00
|
|
|
_overridesSettings = new Gio.Settings({ schema: OVERRIDES_SCHEMA });
|
|
|
|
_overridesSettings.connect('changed::dynamic-workspaces', _queueCheckWorkspaces);
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
global.screen.connect('notify::n-workspaces', _nWorkspacesChanged);
|
2011-03-16 06:37:08 -04:00
|
|
|
|
|
|
|
global.screen.connect('window-entered-monitor', _windowEnteredMonitor);
|
|
|
|
global.screen.connect('window-left-monitor', _windowLeftMonitor);
|
2011-06-10 09:51:55 -04:00
|
|
|
global.screen.connect('restacked', _windowsRestacked);
|
2011-03-16 06:37:08 -04:00
|
|
|
|
2011-03-19 19:36:17 -04:00
|
|
|
_nWorkspacesChanged();
|
2011-01-25 16:29:45 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
let _workspaces = [];
|
|
|
|
let _checkWorkspacesId = 0;
|
|
|
|
|
2011-02-16 11:48:41 -05:00
|
|
|
/*
|
|
|
|
* When the last window closed on a workspace is a dialog or splash
|
|
|
|
* screen, we assume that it might be an initial window shown before
|
|
|
|
* the main window of an application, and give the app a grace period
|
|
|
|
* where it can map another window before we remove the workspace.
|
|
|
|
*/
|
|
|
|
const LAST_WINDOW_GRACE_TIME = 1000;
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
function _checkWorkspaces() {
|
|
|
|
let i;
|
|
|
|
let emptyWorkspaces = [];
|
|
|
|
|
2012-03-07 19:29:17 -05:00
|
|
|
if (!Meta.prefs_get_dynamic_workspaces()) {
|
|
|
|
_checkWorkspacesId = 0;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2011-02-16 11:48:41 -05:00
|
|
|
for (i = 0; i < _workspaces.length; i++) {
|
|
|
|
let lastRemoved = _workspaces[i]._lastRemovedWindow;
|
2012-02-17 09:57:27 -05:00
|
|
|
if ((lastRemoved &&
|
|
|
|
(lastRemoved.get_window_type() == Meta.WindowType.SPLASHSCREEN ||
|
|
|
|
lastRemoved.get_window_type() == Meta.WindowType.DIALOG ||
|
|
|
|
lastRemoved.get_window_type() == Meta.WindowType.MODAL_DIALOG)) ||
|
|
|
|
_workspaces[i]._keepAliveId)
|
2011-02-16 11:48:41 -05:00
|
|
|
emptyWorkspaces[i] = false;
|
|
|
|
else
|
|
|
|
emptyWorkspaces[i] = true;
|
|
|
|
}
|
2011-01-25 16:29:45 -05:00
|
|
|
|
2012-02-17 09:57:27 -05:00
|
|
|
let sequences = Shell.WindowTracker.get_default().get_startup_sequences();
|
|
|
|
for (i = 0; i < sequences.length; i++) {
|
|
|
|
let index = sequences[i].get_workspace();
|
|
|
|
if (index >= 0 && index <= global.screen.n_workspaces)
|
|
|
|
emptyWorkspaces[index] = false;
|
|
|
|
}
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
let windows = global.get_window_actors();
|
|
|
|
for (i = 0; i < windows.length; i++) {
|
|
|
|
let win = windows[i];
|
|
|
|
|
|
|
|
if (win.get_meta_window().is_on_all_workspaces())
|
|
|
|
continue;
|
|
|
|
|
|
|
|
let workspaceIndex = win.get_workspace();
|
|
|
|
emptyWorkspaces[workspaceIndex] = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
// If we don't have an empty workspace at the end, add one
|
|
|
|
if (!emptyWorkspaces[emptyWorkspaces.length -1]) {
|
|
|
|
global.screen.append_new_workspace(false, global.get_current_time());
|
|
|
|
emptyWorkspaces.push(false);
|
|
|
|
}
|
|
|
|
|
2011-02-16 15:07:45 -05:00
|
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
2011-03-11 18:37:40 -05:00
|
|
|
let removingCurrentWorkspace = (emptyWorkspaces[activeWorkspaceIndex] &&
|
|
|
|
activeWorkspaceIndex < emptyWorkspaces.length - 1);
|
|
|
|
// Don't enter the overview when removing multiple empty workspaces at startup
|
|
|
|
let showOverview = (removingCurrentWorkspace &&
|
|
|
|
!emptyWorkspaces.every(function(x) { return x; }));
|
2011-02-16 15:07:45 -05:00
|
|
|
|
2011-03-11 18:37:40 -05:00
|
|
|
if (removingCurrentWorkspace) {
|
2011-02-16 15:07:45 -05:00
|
|
|
// "Merge" the empty workspace we are removing with the one at the end
|
|
|
|
wm.blockAnimations();
|
|
|
|
}
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
// Delete other empty workspaces; do it from the end to avoid index changes
|
|
|
|
for (i = emptyWorkspaces.length - 2; i >= 0; i--) {
|
|
|
|
if (emptyWorkspaces[i])
|
|
|
|
global.screen.remove_workspace(_workspaces[i], global.get_current_time());
|
|
|
|
}
|
|
|
|
|
2011-03-11 18:37:40 -05:00
|
|
|
if (removingCurrentWorkspace) {
|
2011-02-16 15:07:45 -05:00
|
|
|
global.screen.get_workspace_by_index(global.screen.n_workspaces - 1).activate(global.get_current_time());
|
|
|
|
wm.unblockAnimations();
|
|
|
|
|
2011-03-11 18:37:40 -05:00
|
|
|
if (!overview.visible && showOverview)
|
2011-02-16 15:07:45 -05:00
|
|
|
overview.show();
|
|
|
|
}
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
_checkWorkspacesId = 0;
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2012-02-17 09:57:27 -05:00
|
|
|
function keepWorkspaceAlive(workspace, duration) {
|
|
|
|
if (workspace._keepAliveId)
|
|
|
|
Mainloop.source_remove(workspace._keepAliveId);
|
|
|
|
|
|
|
|
workspace._keepAliveId = Mainloop.timeout_add(duration, function() {
|
|
|
|
workspace._keepAliveId = 0;
|
|
|
|
_queueCheckWorkspaces();
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2011-02-16 11:48:41 -05:00
|
|
|
function _windowRemoved(workspace, window) {
|
|
|
|
workspace._lastRemovedWindow = window;
|
|
|
|
_queueCheckWorkspaces();
|
|
|
|
Mainloop.timeout_add(LAST_WINDOW_GRACE_TIME, function() {
|
|
|
|
if (workspace._lastRemovedWindow == window) {
|
|
|
|
workspace._lastRemovedWindow = null;
|
|
|
|
_queueCheckWorkspaces();
|
|
|
|
}
|
2012-01-17 06:17:34 -05:00
|
|
|
return false;
|
2011-02-16 11:48:41 -05:00
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2011-03-16 06:37:08 -04:00
|
|
|
function _windowLeftMonitor(metaScreen, monitorIndex, metaWin) {
|
|
|
|
// If the window left the primary monitor, that
|
|
|
|
// might make that workspace empty
|
2011-06-13 09:54:05 -04:00
|
|
|
if (monitorIndex == layoutManager.primaryIndex)
|
2011-03-16 06:37:08 -04:00
|
|
|
_queueCheckWorkspaces();
|
|
|
|
}
|
|
|
|
|
|
|
|
function _windowEnteredMonitor(metaScreen, monitorIndex, metaWin) {
|
|
|
|
// If the window entered the primary monitor, that
|
|
|
|
// might make that workspace non-empty
|
2011-06-13 09:54:05 -04:00
|
|
|
if (monitorIndex == layoutManager.primaryIndex)
|
2011-03-16 06:37:08 -04:00
|
|
|
_queueCheckWorkspaces();
|
|
|
|
}
|
|
|
|
|
2011-06-10 09:51:55 -04:00
|
|
|
function _windowsRestacked() {
|
|
|
|
// Figure out where the pointer is in case we lost track of
|
|
|
|
// it during a grab. (In particular, if a trayicon popup menu
|
|
|
|
// is dismissed, see if we need to close the message tray.)
|
|
|
|
global.sync_pointer();
|
|
|
|
}
|
|
|
|
|
2011-01-25 16:29:45 -05:00
|
|
|
function _queueCheckWorkspaces() {
|
|
|
|
if (_checkWorkspacesId == 0)
|
|
|
|
_checkWorkspacesId = Meta.later_add(Meta.LaterType.BEFORE_REDRAW, _checkWorkspaces);
|
|
|
|
}
|
|
|
|
|
|
|
|
function _nWorkspacesChanged() {
|
|
|
|
let oldNumWorkspaces = _workspaces.length;
|
|
|
|
let newNumWorkspaces = global.screen.n_workspaces;
|
|
|
|
|
|
|
|
if (oldNumWorkspaces == newNumWorkspaces)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
let lostWorkspaces = [];
|
|
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
|
|
|
let w;
|
|
|
|
|
|
|
|
// Assume workspaces are only added at the end
|
|
|
|
for (w = oldNumWorkspaces; w < newNumWorkspaces; w++)
|
|
|
|
_workspaces[w] = global.screen.get_workspace_by_index(w);
|
|
|
|
|
|
|
|
for (w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
|
|
|
|
let workspace = _workspaces[w];
|
|
|
|
workspace._windowAddedId = workspace.connect('window-added', _queueCheckWorkspaces);
|
2011-02-16 11:48:41 -05:00
|
|
|
workspace._windowRemovedId = workspace.connect('window-removed', _windowRemoved);
|
2011-01-25 16:29:45 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
} else {
|
|
|
|
// Assume workspaces are only removed sequentially
|
|
|
|
// (e.g. 2,3,4 - not 2,4,7)
|
|
|
|
let removedIndex;
|
|
|
|
let removedNum = oldNumWorkspaces - newNumWorkspaces;
|
|
|
|
for (let w = 0; w < oldNumWorkspaces; w++) {
|
|
|
|
let workspace = global.screen.get_workspace_by_index(w);
|
|
|
|
if (_workspaces[w] != workspace) {
|
|
|
|
removedIndex = w;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
let lostWorkspaces = _workspaces.splice(removedIndex, removedNum);
|
|
|
|
lostWorkspaces.forEach(function(workspace) {
|
|
|
|
workspace.disconnect(workspace._windowAddedId);
|
|
|
|
workspace.disconnect(workspace._windowRemovedId);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
|
|
|
_queueCheckWorkspaces();
|
|
|
|
|
|
|
|
return false;
|
2009-02-16 14:32:04 -05:00
|
|
|
}
|
|
|
|
|
2011-01-11 06:15:26 -05:00
|
|
|
/**
|
2011-02-01 09:44:15 -05:00
|
|
|
* getThemeStylesheet:
|
|
|
|
*
|
|
|
|
* Get the theme CSS file that the shell will load
|
|
|
|
*
|
|
|
|
* Returns: A file path that contains the theme CSS,
|
|
|
|
* null if using the default
|
|
|
|
*/
|
|
|
|
function getThemeStylesheet()
|
|
|
|
{
|
2011-02-01 10:11:00 -05:00
|
|
|
return _cssStylesheet;
|
2011-02-01 09:44:15 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* setThemeStylesheet:
|
2011-02-01 10:11:00 -05:00
|
|
|
* @cssStylesheet: A file path that contains the theme CSS,
|
2011-01-11 06:15:26 -05:00
|
|
|
* set it to null to use the default
|
|
|
|
*
|
|
|
|
* Set the theme CSS file that the shell will load
|
|
|
|
*/
|
2011-02-01 10:11:00 -05:00
|
|
|
function setThemeStylesheet(cssStylesheet)
|
2011-01-11 06:15:26 -05:00
|
|
|
{
|
2011-02-01 10:11:00 -05:00
|
|
|
_cssStylesheet = cssStylesheet;
|
2011-01-11 06:15:26 -05:00
|
|
|
}
|
|
|
|
|
2011-01-04 14:30:03 -05:00
|
|
|
/**
|
|
|
|
* loadTheme:
|
|
|
|
*
|
2011-01-11 06:15:26 -05:00
|
|
|
* Reloads the theme CSS file
|
2011-01-04 14:30:03 -05:00
|
|
|
*/
|
|
|
|
function loadTheme() {
|
|
|
|
let themeContext = St.ThemeContext.get_for_stage (global.stage);
|
2011-06-02 11:05:08 -04:00
|
|
|
let previousTheme = themeContext.get_theme();
|
2011-01-11 06:15:26 -05:00
|
|
|
|
2011-02-01 10:11:00 -05:00
|
|
|
let cssStylesheet = _defaultCssStylesheet;
|
|
|
|
if (_cssStylesheet != null)
|
|
|
|
cssStylesheet = _cssStylesheet;
|
2011-01-11 06:15:26 -05:00
|
|
|
|
2011-02-01 10:11:00 -05:00
|
|
|
let theme = new St.Theme ({ application_stylesheet: cssStylesheet });
|
2011-06-02 11:05:08 -04:00
|
|
|
|
2011-08-23 22:12:57 -04:00
|
|
|
if (global.session_type == Shell.SessionType.GDM)
|
|
|
|
theme.load_stylesheet(_gdmCssStylesheet);
|
|
|
|
|
2011-06-02 11:05:08 -04:00
|
|
|
if (previousTheme) {
|
|
|
|
let customStylesheets = previousTheme.get_custom_stylesheets();
|
|
|
|
|
|
|
|
for (let i = 0; i < customStylesheets.length; i++)
|
|
|
|
theme.load_stylesheet(customStylesheets[i]);
|
|
|
|
}
|
|
|
|
|
2011-01-04 14:30:03 -05:00
|
|
|
themeContext.set_theme (theme);
|
|
|
|
}
|
|
|
|
|
2011-07-28 14:06:24 -04:00
|
|
|
/**
|
|
|
|
* notify:
|
|
|
|
* @msg: A message
|
|
|
|
* @details: Additional information
|
|
|
|
*/
|
|
|
|
function notify(msg, details) {
|
|
|
|
let source = new MessageTray.SystemNotificationSource();
|
|
|
|
messageTray.add(source);
|
|
|
|
let notification = new MessageTray.Notification(source, msg, details);
|
|
|
|
notification.setTransient(true);
|
|
|
|
source.notify(notification);
|
|
|
|
}
|
|
|
|
|
2011-03-15 18:31:16 -04:00
|
|
|
/**
|
|
|
|
* notifyError:
|
|
|
|
* @msg: An error message
|
|
|
|
* @details: Additional information
|
|
|
|
*
|
|
|
|
* See shell_global_notify_problem().
|
|
|
|
*/
|
|
|
|
function notifyError(msg, details) {
|
|
|
|
// Also print to stderr so it's logged somewhere
|
|
|
|
if (details)
|
2011-09-30 17:30:47 -04:00
|
|
|
log('error: ' + msg + ': ' + details);
|
2011-03-15 18:31:16 -04:00
|
|
|
else
|
2011-09-30 17:30:47 -04:00
|
|
|
log('error: ' + msg);
|
2011-03-15 18:31:16 -04:00
|
|
|
|
2011-07-28 14:06:24 -04:00
|
|
|
notify(msg, details);
|
2011-03-15 18:31:16 -04:00
|
|
|
}
|
|
|
|
|
2011-02-07 20:05:30 -05:00
|
|
|
function isWindowActorDisplayedOnWorkspace(win, workspaceIndex) {
|
|
|
|
return win.get_workspace() == workspaceIndex ||
|
|
|
|
(win.get_meta_window() && win.get_meta_window().is_on_all_workspaces());
|
|
|
|
}
|
|
|
|
|
|
|
|
function getWindowActorsForWorkspace(workspaceIndex) {
|
|
|
|
return global.get_window_actors().filter(function (win) {
|
|
|
|
return isWindowActorDisplayedOnWorkspace(win, workspaceIndex);
|
|
|
|
});
|
|
|
|
}
|
|
|
|
|
2009-08-28 15:11:25 -04:00
|
|
|
// This function encapsulates hacks to make certain global keybindings
|
|
|
|
// work even when we are in one of our modes where global keybindings
|
|
|
|
// are disabled with a global grab. (When there is a global grab, then
|
|
|
|
// all key events will be delivered to the stage, so ::captured-event
|
|
|
|
// on the stage can be used for global keybindings.)
|
|
|
|
function _globalKeyPressHandler(actor, event) {
|
2009-09-15 15:53:07 -04:00
|
|
|
if (modalCount == 0)
|
2009-08-28 15:11:25 -04:00
|
|
|
return false;
|
2011-01-06 14:39:07 -05:00
|
|
|
if (event.type() != Clutter.EventType.KEY_PRESS)
|
2010-10-14 10:38:33 -04:00
|
|
|
return false;
|
|
|
|
|
|
|
|
let symbol = event.get_key_symbol();
|
|
|
|
let keyCode = event.get_key_code();
|
2012-03-13 11:25:50 -04:00
|
|
|
let ignoredModifiers = global.display.get_ignored_modifier_mask();
|
|
|
|
let modifierState = event.get_state() & ~ignoredModifiers;
|
2010-10-14 10:38:33 -04:00
|
|
|
|
2011-01-06 15:30:24 -05:00
|
|
|
// This relies on the fact that Clutter.ModifierType is the same as Gdk.ModifierType
|
2011-07-13 12:34:31 -04:00
|
|
|
let action = global.display.get_keybinding_action(keyCode, modifierState);
|
2011-01-06 15:30:24 -05:00
|
|
|
|
2011-09-17 15:43:46 -04:00
|
|
|
// Other bindings are only available to the user session when the overview is up and
|
2011-01-06 15:30:24 -05:00
|
|
|
// no modal dialog is present.
|
2011-09-17 15:43:46 -04:00
|
|
|
if (global.session_type == Shell.SessionType.USER && (!overview.visible || modalCount > 1))
|
2011-01-06 15:30:24 -05:00
|
|
|
return false;
|
|
|
|
|
|
|
|
// This isn't a Meta.KeyBindingAction yet
|
|
|
|
if (symbol == Clutter.Super_L || symbol == Clutter.Super_R) {
|
|
|
|
overview.hide();
|
|
|
|
return true;
|
|
|
|
}
|
2009-08-28 15:11:25 -04:00
|
|
|
|
2011-08-23 21:53:02 -04:00
|
|
|
if (action == Meta.KeyBindingAction.SWITCH_PANELS) {
|
2011-09-06 22:38:38 -04:00
|
|
|
ctrlAltTabManager.popup(modifierState & Clutter.ModifierType.SHIFT_MASK,
|
|
|
|
modifierState);
|
2011-08-23 21:53:02 -04:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
// None of the other bindings are relevant outside of the user's session
|
|
|
|
if (global.session_type != Shell.SessionType.USER)
|
|
|
|
return false;
|
|
|
|
|
2010-10-14 10:38:33 -04:00
|
|
|
switch (action) {
|
2011-02-09 11:43:58 -05:00
|
|
|
// left/right would effectively act as synonyms for up/down if we enabled them;
|
|
|
|
// but that could be considered confusing; we also disable them in the main view.
|
|
|
|
//
|
|
|
|
// case Meta.KeyBindingAction.WORKSPACE_LEFT:
|
|
|
|
// wm.actionMoveWorkspaceLeft();
|
|
|
|
// return true;
|
|
|
|
// case Meta.KeyBindingAction.WORKSPACE_RIGHT:
|
|
|
|
// wm.actionMoveWorkspaceRight();
|
|
|
|
// return true;
|
2011-01-30 18:21:31 -05:00
|
|
|
case Meta.KeyBindingAction.WORKSPACE_UP:
|
|
|
|
wm.actionMoveWorkspaceUp();
|
|
|
|
return true;
|
|
|
|
case Meta.KeyBindingAction.WORKSPACE_DOWN:
|
|
|
|
wm.actionMoveWorkspaceDown();
|
|
|
|
return true;
|
2010-10-14 10:38:33 -04:00
|
|
|
case Meta.KeyBindingAction.PANEL_RUN_DIALOG:
|
|
|
|
case Meta.KeyBindingAction.COMMAND_2:
|
|
|
|
getRunDialog().open();
|
2009-08-28 15:11:25 -04:00
|
|
|
return true;
|
2011-01-06 14:39:07 -05:00
|
|
|
case Meta.KeyBindingAction.PANEL_MAIN_MENU:
|
2011-01-06 15:30:24 -05:00
|
|
|
overview.hide();
|
2011-01-06 14:39:07 -05:00
|
|
|
return true;
|
2009-08-28 15:11:25 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2009-09-15 15:53:07 -04:00
|
|
|
function _findModal(actor) {
|
|
|
|
for (let i = 0; i < modalActorFocusStack.length; i++) {
|
2011-02-24 17:29:20 -05:00
|
|
|
if (modalActorFocusStack[i].actor == actor)
|
2009-09-15 15:53:07 -04:00
|
|
|
return i;
|
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* pushModal:
|
|
|
|
* @actor: #ClutterActor which will be given keyboard focus
|
2010-10-20 15:08:14 -04:00
|
|
|
* @timestamp: optional timestamp
|
2009-09-15 15:53:07 -04:00
|
|
|
*
|
|
|
|
* Ensure we are in a mode where all keyboard and mouse input goes to
|
2010-11-03 13:30:08 -04:00
|
|
|
* the stage, and focus @actor. Multiple calls to this function act in
|
|
|
|
* a stacking fashion; the effect will be undone when an equal number
|
|
|
|
* of popModal() invocations have been made.
|
2009-09-15 15:53:07 -04:00
|
|
|
*
|
2010-11-03 13:30:08 -04:00
|
|
|
* Next, record the current Clutter keyboard focus on a stack. If the
|
|
|
|
* modal stack returns to this actor, reset the focus to the actor
|
|
|
|
* which was focused at the time pushModal() was invoked.
|
2009-09-16 11:37:51 -04:00
|
|
|
*
|
2010-10-20 15:08:14 -04:00
|
|
|
* @timestamp is optionally used to associate the call with a specific user
|
|
|
|
* initiated event. If not provided then the value of
|
|
|
|
* global.get_current_time() is assumed.
|
|
|
|
*
|
2011-10-21 03:12:17 -04:00
|
|
|
* @options: optional Meta.ModalOptions flags to indicate that the
|
|
|
|
* pointer is alrady grabbed
|
|
|
|
*
|
2009-09-16 11:37:51 -04:00
|
|
|
* Returns: true iff we successfully acquired a grab or already had one
|
2009-09-15 15:53:07 -04:00
|
|
|
*/
|
2011-10-21 03:12:17 -04:00
|
|
|
function pushModal(actor, timestamp, options) {
|
2010-10-20 15:08:14 -04:00
|
|
|
if (timestamp == undefined)
|
|
|
|
timestamp = global.get_current_time();
|
|
|
|
|
2009-09-16 11:37:51 -04:00
|
|
|
if (modalCount == 0) {
|
2011-10-21 03:12:17 -04:00
|
|
|
if (!global.begin_modal(timestamp, options ? options : 0)) {
|
2010-05-13 15:46:04 -04:00
|
|
|
log('pushModal: invocation of begin_modal failed');
|
2009-09-16 11:37:51 -04:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
global.set_stage_input_mode(Shell.StageInputMode.FULLSCREEN);
|
|
|
|
|
2009-09-15 15:53:07 -04:00
|
|
|
modalCount += 1;
|
2011-02-24 17:29:20 -05:00
|
|
|
let actorDestroyId = actor.connect('destroy', function() {
|
2009-09-15 15:53:07 -04:00
|
|
|
let index = _findModal(actor);
|
|
|
|
if (index >= 0)
|
|
|
|
modalActorFocusStack.splice(index, 1);
|
|
|
|
});
|
|
|
|
let curFocus = global.stage.get_key_focus();
|
2011-02-24 17:29:20 -05:00
|
|
|
let curFocusDestroyId;
|
2009-09-15 15:53:07 -04:00
|
|
|
if (curFocus != null) {
|
2011-02-24 17:29:20 -05:00
|
|
|
curFocusDestroyId = curFocus.connect('destroy', function() {
|
2009-09-15 15:53:07 -04:00
|
|
|
let index = _findModal(actor);
|
|
|
|
if (index >= 0)
|
2011-02-24 17:29:20 -05:00
|
|
|
modalActorFocusStack[index].actor = null;
|
2009-09-15 15:53:07 -04:00
|
|
|
});
|
|
|
|
}
|
2011-02-24 17:29:20 -05:00
|
|
|
modalActorFocusStack.push({ actor: actor,
|
|
|
|
focus: curFocus,
|
|
|
|
destroyId: actorDestroyId,
|
|
|
|
focusDestroyId: curFocusDestroyId });
|
2008-11-24 14:07:18 -05:00
|
|
|
|
2010-11-03 13:30:08 -04:00
|
|
|
global.stage.set_key_focus(actor);
|
2009-09-16 11:37:51 -04:00
|
|
|
return true;
|
2008-10-31 19:09:46 -04:00
|
|
|
}
|
|
|
|
|
2009-09-15 15:53:07 -04:00
|
|
|
/**
|
|
|
|
* popModal:
|
|
|
|
* @actor: #ClutterActor passed to original invocation of pushModal().
|
2010-10-20 15:08:14 -04:00
|
|
|
* @timestamp: optional timestamp
|
2009-09-15 15:53:07 -04:00
|
|
|
*
|
|
|
|
* Reverse the effect of pushModal(). If this invocation is undoing
|
|
|
|
* the topmost invocation, then the focus will be restored to the
|
|
|
|
* previous focus at the time when pushModal() was invoked.
|
2010-10-20 15:08:14 -04:00
|
|
|
*
|
|
|
|
* @timestamp is optionally used to associate the call with a specific user
|
|
|
|
* initiated event. If not provided then the value of
|
|
|
|
* global.get_current_time() is assumed.
|
2009-09-15 15:53:07 -04:00
|
|
|
*/
|
2010-10-20 15:08:14 -04:00
|
|
|
function popModal(actor, timestamp) {
|
|
|
|
if (timestamp == undefined)
|
|
|
|
timestamp = global.get_current_time();
|
|
|
|
|
2009-09-15 15:53:07 -04:00
|
|
|
let focusIndex = _findModal(actor);
|
2011-02-24 17:29:20 -05:00
|
|
|
if (focusIndex < 0) {
|
|
|
|
global.stage.set_key_focus(null);
|
|
|
|
global.end_modal(timestamp);
|
|
|
|
global.set_stage_input_mode(Shell.StageInputMode.NORMAL);
|
|
|
|
|
|
|
|
throw new Error('incorrect pop');
|
|
|
|
}
|
|
|
|
|
|
|
|
modalCount -= 1;
|
|
|
|
|
|
|
|
let record = modalActorFocusStack[focusIndex];
|
|
|
|
record.actor.disconnect(record.destroyId);
|
|
|
|
|
|
|
|
if (focusIndex == modalActorFocusStack.length - 1) {
|
|
|
|
if (record.focus)
|
|
|
|
record.focus.disconnect(record.focusDestroyId);
|
|
|
|
global.stage.set_key_focus(record.focus);
|
|
|
|
} else {
|
|
|
|
let t = modalActorFocusStack[modalActorFocusStack.length - 1];
|
|
|
|
if (t.focus)
|
|
|
|
t.focus.disconnect(t.focusDestroyId);
|
|
|
|
// Remove from the middle, shift the focus chain up
|
|
|
|
for (let i = modalActorFocusStack.length - 1; i > focusIndex; i--) {
|
|
|
|
modalActorFocusStack[i].focus = modalActorFocusStack[i - 1].focus;
|
|
|
|
modalActorFocusStack[i].focusDestroyId = modalActorFocusStack[i - 1].focusDestroyId;
|
2009-09-15 15:53:07 -04:00
|
|
|
}
|
|
|
|
}
|
2011-02-24 17:29:20 -05:00
|
|
|
modalActorFocusStack.splice(focusIndex, 1);
|
|
|
|
|
2009-09-15 15:53:07 -04:00
|
|
|
if (modalCount > 0)
|
|
|
|
return;
|
|
|
|
|
2010-10-20 15:08:14 -04:00
|
|
|
global.end_modal(timestamp);
|
2009-04-29 14:01:09 -04:00
|
|
|
global.set_stage_input_mode(Shell.StageInputMode.NORMAL);
|
2008-10-31 00:22:44 -04:00
|
|
|
}
|
2008-11-24 14:07:18 -05:00
|
|
|
|
2009-08-02 03:46:01 -04:00
|
|
|
function createLookingGlass() {
|
|
|
|
if (lookingGlass == null) {
|
|
|
|
lookingGlass = new LookingGlass.LookingGlass();
|
|
|
|
}
|
|
|
|
return lookingGlass;
|
|
|
|
}
|
|
|
|
|
2009-09-14 15:08:20 -04:00
|
|
|
function getRunDialog() {
|
|
|
|
if (runDialog == null) {
|
|
|
|
runDialog = new RunDialog.RunDialog();
|
|
|
|
}
|
|
|
|
return runDialog;
|
|
|
|
}
|
|
|
|
|
2009-09-21 16:29:37 -04:00
|
|
|
/**
|
|
|
|
* activateWindow:
|
|
|
|
* @window: the Meta.Window to activate
|
|
|
|
* @time: (optional) current event time
|
2010-02-19 11:42:36 -05:00
|
|
|
* @workspaceNum: (optional) window's workspace number
|
2009-09-21 16:29:37 -04:00
|
|
|
*
|
2010-02-17 14:05:06 -05:00
|
|
|
* Activates @window, switching to its workspace first if necessary,
|
|
|
|
* and switching out of the overview if it's currently active
|
2009-09-21 16:29:37 -04:00
|
|
|
*/
|
2010-02-19 11:42:36 -05:00
|
|
|
function activateWindow(window, time, workspaceNum) {
|
2009-09-21 16:29:37 -04:00
|
|
|
let activeWorkspaceNum = global.screen.get_active_workspace_index();
|
2010-02-19 11:42:36 -05:00
|
|
|
let windowWorkspaceNum = (workspaceNum !== undefined) ? workspaceNum : window.get_workspace().index();
|
2009-09-21 16:29:37 -04:00
|
|
|
|
|
|
|
if (!time)
|
2009-12-03 15:59:52 -05:00
|
|
|
time = global.get_current_time();
|
2009-09-21 16:29:37 -04:00
|
|
|
|
|
|
|
if (windowWorkspaceNum != activeWorkspaceNum) {
|
|
|
|
let workspace = global.screen.get_workspace_by_index(windowWorkspaceNum);
|
|
|
|
workspace.activate_with_focus(window, time);
|
|
|
|
} else {
|
|
|
|
window.activate(time);
|
|
|
|
}
|
2010-02-17 14:05:06 -05:00
|
|
|
|
|
|
|
overview.hide();
|
2009-09-21 16:29:37 -04:00
|
|
|
}
|
2009-12-03 12:19:38 -05:00
|
|
|
|
|
|
|
// TODO - replace this timeout with some system to guess when the user might
|
|
|
|
// be e.g. just reading the screen and not likely to interact.
|
|
|
|
const DEFERRED_TIMEOUT_SECONDS = 20;
|
|
|
|
var _deferredWorkData = {};
|
|
|
|
// Work scheduled for some point in the future
|
|
|
|
var _deferredWorkQueue = [];
|
|
|
|
// Work we need to process before the next redraw
|
|
|
|
var _beforeRedrawQueue = [];
|
|
|
|
// Counter to assign work ids
|
|
|
|
var _deferredWorkSequence = 0;
|
|
|
|
var _deferredTimeoutId = 0;
|
|
|
|
|
|
|
|
function _runDeferredWork(workId) {
|
|
|
|
if (!_deferredWorkData[workId])
|
|
|
|
return;
|
|
|
|
let index = _deferredWorkQueue.indexOf(workId);
|
|
|
|
if (index < 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
_deferredWorkQueue.splice(index, 1);
|
|
|
|
_deferredWorkData[workId].callback();
|
|
|
|
if (_deferredWorkQueue.length == 0 && _deferredTimeoutId > 0) {
|
|
|
|
Mainloop.source_remove(_deferredTimeoutId);
|
|
|
|
_deferredTimeoutId = 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
function _runAllDeferredWork() {
|
|
|
|
while (_deferredWorkQueue.length > 0)
|
|
|
|
_runDeferredWork(_deferredWorkQueue[0]);
|
|
|
|
}
|
|
|
|
|
|
|
|
function _runBeforeRedrawQueue() {
|
|
|
|
for (let i = 0; i < _beforeRedrawQueue.length; i++) {
|
|
|
|
let workId = _beforeRedrawQueue[i];
|
|
|
|
_runDeferredWork(workId);
|
|
|
|
}
|
|
|
|
_beforeRedrawQueue = [];
|
|
|
|
}
|
|
|
|
|
|
|
|
function _queueBeforeRedraw(workId) {
|
|
|
|
_beforeRedrawQueue.push(workId);
|
|
|
|
if (_beforeRedrawQueue.length == 1) {
|
|
|
|
Meta.later_add(Meta.LaterType.BEFORE_REDRAW, function () {
|
|
|
|
_runBeforeRedrawQueue();
|
|
|
|
return false;
|
2010-04-12 18:05:50 -04:00
|
|
|
});
|
2009-12-03 12:19:38 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* initializeDeferredWork:
|
|
|
|
* @actor: A #ClutterActor
|
|
|
|
* @callback: Function to invoke to perform work
|
|
|
|
*
|
|
|
|
* This function sets up a callback to be invoked when either the
|
|
|
|
* given actor is mapped, or after some period of time when the machine
|
|
|
|
* is idle. This is useful if your actor isn't always visible on the
|
|
|
|
* screen (for example, all actors in the overview), and you don't want
|
|
|
|
* to consume resources updating if the actor isn't actually going to be
|
|
|
|
* displaying to the user.
|
|
|
|
*
|
|
|
|
* Note that queueDeferredWork is called by default immediately on
|
|
|
|
* initialization as well, under the assumption that new actors
|
|
|
|
* will need it.
|
|
|
|
*
|
|
|
|
* Returns: A string work identifer
|
|
|
|
*/
|
|
|
|
function initializeDeferredWork(actor, callback, props) {
|
|
|
|
// Turn into a string so we can use as an object property
|
2010-05-13 15:46:04 -04:00
|
|
|
let workId = '' + (++_deferredWorkSequence);
|
2009-12-03 12:19:38 -05:00
|
|
|
_deferredWorkData[workId] = { 'actor': actor,
|
|
|
|
'callback': callback };
|
|
|
|
actor.connect('notify::mapped', function () {
|
|
|
|
if (!(actor.mapped && _deferredWorkQueue.indexOf(workId) >= 0))
|
|
|
|
return;
|
|
|
|
_queueBeforeRedraw(workId);
|
|
|
|
});
|
|
|
|
actor.connect('destroy', function() {
|
|
|
|
let index = _deferredWorkQueue.indexOf(workId);
|
|
|
|
if (index >= 0)
|
|
|
|
_deferredWorkQueue.splice(index, 1);
|
|
|
|
delete _deferredWorkData[workId];
|
|
|
|
});
|
|
|
|
queueDeferredWork(workId);
|
|
|
|
return workId;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* queueDeferredWork:
|
|
|
|
* @workId: work identifier
|
|
|
|
*
|
|
|
|
* Ensure that the work identified by @workId will be
|
|
|
|
* run on map or timeout. You should call this function
|
|
|
|
* for example when data being displayed by the actor has
|
|
|
|
* changed.
|
|
|
|
*/
|
|
|
|
function queueDeferredWork(workId) {
|
|
|
|
let data = _deferredWorkData[workId];
|
|
|
|
if (!data) {
|
2010-05-13 15:46:04 -04:00
|
|
|
global.logError('invalid work id ', workId);
|
2009-12-03 12:19:38 -05:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (_deferredWorkQueue.indexOf(workId) < 0)
|
|
|
|
_deferredWorkQueue.push(workId);
|
|
|
|
if (data.actor.mapped) {
|
|
|
|
_queueBeforeRedraw(workId);
|
|
|
|
return;
|
|
|
|
} else if (_deferredTimeoutId == 0) {
|
|
|
|
_deferredTimeoutId = Mainloop.timeout_add_seconds(DEFERRED_TIMEOUT_SECONDS, function () {
|
|
|
|
_runAllDeferredWork();
|
|
|
|
_deferredTimeoutId = 0;
|
|
|
|
return false;
|
|
|
|
});
|
|
|
|
}
|
|
|
|
}
|