// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*- const Clutter = imports.gi.Clutter; const GLib = imports.gi.GLib; const Gio = imports.gi.Gio; const Lang = imports.lang; const Mainloop = imports.mainloop; const Meta = imports.gi.Meta; const Pango = imports.gi.Pango; const St = imports.gi.St; const Shell = imports.gi.Shell; const AltTab = imports.ui.altTab; const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup; const Main = imports.ui.main; const ModalDialog = imports.ui.modalDialog; const Tweener = imports.ui.tweener; const WindowMenu = imports.ui.windowMenu; const SHELL_KEYBINDINGS_SCHEMA = 'org.gnome.shell.keybindings'; const WINDOW_ANIMATION_TIME = 0.25; const DIM_BRIGHTNESS = -0.3; const DIM_TIME = 0.500; const UNDIM_TIME = 0.250; const DISPLAY_REVERT_TIMEOUT = 20; // in seconds - keep in sync with mutter const ONE_SECOND = 1000; // in ms const DisplayChangeDialog = new Lang.Class({ Name: 'DisplayChangeDialog', Extends: ModalDialog.ModalDialog, _init: function(wm) { this.parent({ styleClass: 'prompt-dialog' }); this._wm = wm; let mainContentBox = new St.BoxLayout({ style_class: 'prompt-dialog-main-layout', vertical: false }); this.contentLayout.add(mainContentBox, { x_fill: true, y_fill: true }); let icon = new St.Icon({ icon_name: 'preferences-desktop-display-symbolic' }); mainContentBox.add(icon, { x_fill: true, y_fill: false, x_align: St.Align.END, y_align: St.Align.START }); let messageBox = new St.BoxLayout({ style_class: 'prompt-dialog-message-layout', vertical: true }); mainContentBox.add(messageBox, { expand: true, y_align: St.Align.START }); let subjectLabel = new St.Label({ style_class: 'prompt-dialog-headline', text: _("Do you want to keep these display settings?") }); messageBox.add(subjectLabel, { y_fill: false, y_align: St.Align.START }); this._countDown = DISPLAY_REVERT_TIMEOUT; let message = this._formatCountDown(); this._descriptionLabel = new St.Label({ style_class: 'prompt-dialog-description', text: this._formatCountDown() }); this._descriptionLabel.clutter_text.ellipsize = Pango.EllipsizeMode.NONE; this._descriptionLabel.clutter_text.line_wrap = true; messageBox.add(this._descriptionLabel, { y_fill: true, y_align: St.Align.START }); /* Translators: this and the following message should be limited in lenght, to avoid ellipsizing the labels. */ this._cancelButton = this.addButton({ label: _("Revert Settings"), action: Lang.bind(this, this._onFailure), key: Clutter.Escape }, { expand: true, x_fill: false, x_align: St.Align.START }); this._okButton = this.addButton({ label: _("Keep Changes"), action: Lang.bind(this, this._onSuccess), default: true }, { expand: false, x_fill: false, x_align: St.Align.END }); this._timeoutId = Mainloop.timeout_add(ONE_SECOND, Lang.bind(this, this._tick)); GLib.Source.set_name_by_id(this._timeoutId, '[gnome-shell] this._tick'); }, close: function(timestamp) { if (this._timeoutId > 0) { Mainloop.source_remove(this._timeoutId); this._timeoutId = 0; } this.parent(timestamp); }, _formatCountDown: function() { let fmt = ngettext("Settings changes will revert in %d second", "Settings changes will revert in %d seconds"); return fmt.format(this._countDown); }, _tick: function() { this._countDown--; if (this._countDown == 0) { /* mutter already takes care of failing at timeout */ this._timeoutId = 0; this.close(); return GLib.SOURCE_REMOVE; } this._descriptionLabel.text = this._formatCountDown(); return GLib.SOURCE_CONTINUE; }, _onFailure: function() { this._wm.complete_display_change(false); this.close(); }, _onSuccess: function() { this._wm.complete_display_change(true); this.close(); }, }); const WindowDimmer = new Lang.Class({ Name: 'WindowDimmer', _init: function(actor) { this._brightnessEffect = new Clutter.BrightnessContrastEffect(); actor.add_effect(this._brightnessEffect); this.actor = actor; this._enabled = true; this._dimFactor = 0.0; this._syncEnabled(); }, _syncEnabled: function() { this._brightnessEffect.enabled = (this._enabled && this._dimFactor > 0); }, setEnabled: function(enabled) { this._enabled = enabled; this._syncEnabled(); }, set dimFactor(factor) { this._dimFactor = factor; this._brightnessEffect.set_brightness(factor * DIM_BRIGHTNESS); this._syncEnabled(); }, get dimFactor() { return this._dimFactor; } }); function getWindowDimmer(actor) { let enabled = Meta.prefs_get_attach_modal_dialogs(); if (actor._windowDimmer) actor._windowDimmer.setEnabled(enabled); if (enabled) { if (!actor._windowDimmer) actor._windowDimmer = new WindowDimmer(actor); return actor._windowDimmer; } else { return null; } } /* * 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; const WorkspaceTracker = new Lang.Class({ Name: 'WorkspaceTracker', _init: function(wm) { this._wm = wm; this._workspaces = []; this._checkWorkspacesId = 0; let tracker = Shell.WindowTracker.get_default(); tracker.connect('startup-sequence-changed', Lang.bind(this, this._queueCheckWorkspaces)); global.screen.connect('notify::n-workspaces', Lang.bind(this, this._nWorkspacesChanged)); global.window_manager.connect('switch-workspace', Lang.bind(this, this._queueCheckWorkspaces)); global.screen.connect('window-entered-monitor', Lang.bind(this, this._windowEnteredMonitor)); global.screen.connect('window-left-monitor', Lang.bind(this, this._windowLeftMonitor)); global.screen.connect('restacked', Lang.bind(this, this._windowsRestacked)); this._workspaceSettings = this._getWorkspaceSettings(); this._workspaceSettings.connect('changed::dynamic-workspaces', Lang.bind(this, this._queueCheckWorkspaces)); this._nWorkspacesChanged(); }, _getWorkspaceSettings: function() { let settings = global.get_overrides_settings(); if (settings.list_keys().indexOf('dynamic-workspaces') > -1) return settings; return new Gio.Settings({ schema_id: 'org.gnome.mutter' }); }, _checkWorkspaces: function() { let i; let emptyWorkspaces = []; if (!Meta.prefs_get_dynamic_workspaces()) { this._checkWorkspacesId = 0; return false; } for (i = 0; i < this._workspaces.length; i++) { let lastRemoved = this._workspaces[i]._lastRemovedWindow; if ((lastRemoved && (lastRemoved.get_window_type() == Meta.WindowType.SPLASHSCREEN || lastRemoved.get_window_type() == Meta.WindowType.DIALOG || lastRemoved.get_window_type() == Meta.WindowType.MODAL_DIALOG)) || this._workspaces[i]._keepAliveId) emptyWorkspaces[i] = false; else emptyWorkspaces[i] = true; } 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; } let windows = global.get_window_actors(); for (i = 0; i < windows.length; i++) { let actor = windows[i]; let win = actor.get_meta_window(); if (win.is_on_all_workspaces()) continue; let workspaceIndex = win.get_workspace().index(); 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); } let activeWorkspaceIndex = global.screen.get_active_workspace_index(); emptyWorkspaces[activeWorkspaceIndex] = false; // 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(this._workspaces[i], global.get_current_time()); } this._checkWorkspacesId = 0; return false; }, keepWorkspaceAlive: function(workspace, duration) { if (workspace._keepAliveId) Mainloop.source_remove(workspace._keepAliveId); workspace._keepAliveId = Mainloop.timeout_add(duration, Lang.bind(this, function() { workspace._keepAliveId = 0; this._queueCheckWorkspaces(); return GLib.SOURCE_REMOVE; })); GLib.Source.set_name_by_id(workspace._keepAliveId, '[gnome-shell] this._queueCheckWorkspaces'); }, _windowRemoved: function(workspace, window) { workspace._lastRemovedWindow = window; this._queueCheckWorkspaces(); let id = Mainloop.timeout_add(LAST_WINDOW_GRACE_TIME, Lang.bind(this, function() { if (workspace._lastRemovedWindow == window) { workspace._lastRemovedWindow = null; this._queueCheckWorkspaces(); } return GLib.SOURCE_REMOVE; })); GLib.Source.set_name_by_id(id, '[gnome-shell] this._queueCheckWorkspaces'); }, _windowLeftMonitor: function(metaScreen, monitorIndex, metaWin) { // If the window left the primary monitor, that // might make that workspace empty if (monitorIndex == Main.layoutManager.primaryIndex) this._queueCheckWorkspaces(); }, _windowEnteredMonitor: function(metaScreen, monitorIndex, metaWin) { // If the window entered the primary monitor, that // might make that workspace non-empty if (monitorIndex == Main.layoutManager.primaryIndex) this._queueCheckWorkspaces(); }, _windowsRestacked: function() { // 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(); }, _queueCheckWorkspaces: function() { if (this._checkWorkspacesId == 0) this._checkWorkspacesId = Meta.later_add(Meta.LaterType.BEFORE_REDRAW, Lang.bind(this, this._checkWorkspaces)); }, _nWorkspacesChanged: function() { let oldNumWorkspaces = this._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++) this._workspaces[w] = global.screen.get_workspace_by_index(w); for (w = oldNumWorkspaces; w < newNumWorkspaces; w++) { let workspace = this._workspaces[w]; workspace._windowAddedId = workspace.connect('window-added', Lang.bind(this, this._queueCheckWorkspaces)); workspace._windowRemovedId = workspace.connect('window-removed', Lang.bind(this, this._windowRemoved)); } } 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 (this._workspaces[w] != workspace) { removedIndex = w; break; } } let lostWorkspaces = this._workspaces.splice(removedIndex, removedNum); lostWorkspaces.forEach(function(workspace) { workspace.disconnect(workspace._windowAddedId); workspace.disconnect(workspace._windowRemovedId); }); } this._queueCheckWorkspaces(); return false; } }); const TilePreview = new Lang.Class({ Name: 'TilePreview', _init: function() { this.actor = new St.Widget(); global.window_group.add_actor(this.actor); this._reset(); this._showing = false; }, show: function(window, tileRect, monitorIndex) { let windowActor = window.get_compositor_private(); if (!windowActor) return; global.window_group.set_child_below_sibling(this.actor, windowActor); if (this._rect && this._rect.equal(tileRect)) return; let changeMonitor = (this._monitorIndex == -1 || this._monitorIndex != monitorIndex); this._monitorIndex = monitorIndex; this._rect = tileRect; let monitor = Main.layoutManager.monitors[monitorIndex]; this._updateStyle(monitor); if (!this._showing || changeMonitor) { let monitorRect = new Meta.Rectangle({ x: monitor.x, y: monitor.y, width: monitor.width, height: monitor.height }); let [, rect] = window.get_outer_rect().intersect(monitorRect); this.actor.set_size(rect.width, rect.height); this.actor.set_position(rect.x, rect.y); this.actor.opacity = 0; } this._showing = true; this.actor.show(); Tweener.addTween(this.actor, { x: tileRect.x, y: tileRect.y, width: tileRect.width, height: tileRect.height, opacity: 255, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad' }); }, hide: function() { if (!this._showing) return; this._showing = false; Tweener.addTween(this.actor, { opacity: 0, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad', onComplete: Lang.bind(this, this._reset) }); }, _reset: function() { this.actor.hide(); this._rect = null; this._monitorIndex = -1; }, _updateStyle: function(monitor) { let styles = ['tile-preview']; if (this._monitorIndex == Main.layoutManager.primaryIndex) styles.push('on-primary'); if (this._rect.x == monitor.x) styles.push('tile-preview-left'); if (this._rect.x + this._rect.width == monitor.x + monitor.width) styles.push('tile-preview-right'); this.actor.style_class = styles.join(' '); } }); const WindowManager = new Lang.Class({ Name: 'WindowManager', _init : function() { this._shellwm = global.window_manager; this._minimizing = []; this._maximizing = []; this._unmaximizing = []; this._mapping = []; this._destroying = []; this._movingWindow = null; this._dimmedWindows = []; this._allowedKeybindings = {}; this._switchData = null; this._shellwm.connect('kill-switch-workspace', Lang.bind(this, this._switchWorkspaceDone)); this._shellwm.connect('kill-window-effects', Lang.bind(this, function (shellwm, actor) { this._minimizeWindowDone(shellwm, actor); this._maximizeWindowDone(shellwm, actor); this._unmaximizeWindowDone(shellwm, actor); this._mapWindowDone(shellwm, actor); this._destroyWindowDone(shellwm, actor); })); this._shellwm.connect('switch-workspace', Lang.bind(this, this._switchWorkspace)); this._shellwm.connect('show-tile-preview', Lang.bind(this, this._showTilePreview)); this._shellwm.connect('hide-tile-preview', Lang.bind(this, this._hideTilePreview)); this._shellwm.connect('show-window-menu', Lang.bind(this, this._showWindowMenu)); this._shellwm.connect('minimize', Lang.bind(this, this._minimizeWindow)); this._shellwm.connect('maximize', Lang.bind(this, this._maximizeWindow)); this._shellwm.connect('unmaximize', Lang.bind(this, this._unmaximizeWindow)); this._shellwm.connect('map', Lang.bind(this, this._mapWindow)); this._shellwm.connect('destroy', Lang.bind(this, this._destroyWindow)); this._shellwm.connect('filter-keybinding', Lang.bind(this, this._filterKeybinding)); this._shellwm.connect('confirm-display-change', Lang.bind(this, this._confirmDisplayChange)); this._workspaceSwitcherPopup = null; this._tilePreview = null; this.setCustomKeybindingHandler('switch-to-workspace-left', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-right', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-up', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-down', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-last', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-left', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-right', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-up', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-down', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-1', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-2', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-3', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-4', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-5', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-6', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-7', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-8', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-9', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-10', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-11', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-to-workspace-12', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-1', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-2', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-3', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-4', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-5', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-6', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-7', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-8', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-9', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-10', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-11', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-12', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('move-to-workspace-last', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._showWorkspaceSwitcher)); this.setCustomKeybindingHandler('switch-applications', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startAppSwitcher)); this.setCustomKeybindingHandler('switch-group', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startAppSwitcher)); this.setCustomKeybindingHandler('switch-applications-backward', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startAppSwitcher)); this.setCustomKeybindingHandler('switch-group-backward', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startAppSwitcher)); this.setCustomKeybindingHandler('switch-windows', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startWindowSwitcher)); this.setCustomKeybindingHandler('switch-windows-backward', Shell.KeyBindingMode.NORMAL, Lang.bind(this, this._startWindowSwitcher)); this.setCustomKeybindingHandler('switch-panels', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW | Shell.KeyBindingMode.LOCK_SCREEN | Shell.KeyBindingMode.UNLOCK_SCREEN | Shell.KeyBindingMode.LOGIN_SCREEN, Lang.bind(this, this._startA11ySwitcher)); this.setCustomKeybindingHandler('switch-panels-backward', Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.OVERVIEW | Shell.KeyBindingMode.LOCK_SCREEN | Shell.KeyBindingMode.UNLOCK_SCREEN | Shell.KeyBindingMode.LOGIN_SCREEN, Lang.bind(this, this._startA11ySwitcher)); this.addKeybinding('pause-resume-tweens', new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), Meta.KeyBindingFlags.NONE, Shell.KeyBindingMode.ALL, Lang.bind(this, this._toggleTweens)); this.addKeybinding('open-application-menu', new Gio.Settings({ schema_id: SHELL_KEYBINDINGS_SCHEMA }), Meta.KeyBindingFlags.NONE, Shell.KeyBindingMode.NORMAL | Shell.KeyBindingMode.TOPBAR_POPUP, Lang.bind(this, this._toggleAppMenu)); Main.overview.connect('showing', Lang.bind(this, function() { for (let i = 0; i < this._dimmedWindows.length; i++) this._undimWindow(this._dimmedWindows[i]); })); Main.overview.connect('hiding', Lang.bind(this, function() { for (let i = 0; i < this._dimmedWindows.length; i++) this._dimWindow(this._dimmedWindows[i]); })); this._windowMenuManager = new WindowMenu.WindowMenuManager(); if (Main.sessionMode.hasWorkspaces) this._workspaceTracker = new WorkspaceTracker(this); global.screen.override_workspace_layout(Meta.ScreenCorner.TOPLEFT, false, -1, 1); }, keepWorkspaceAlive: function(workspace, duration) { if (!this._workspaceTracker) return; this._workspaceTracker.keepWorkspaceAlive(workspace, duration); }, setCustomKeybindingHandler: function(name, modes, handler) { if (Meta.keybindings_set_custom_handler(name, handler)) this.allowKeybinding(name, modes); }, addKeybinding: function(name, settings, flags, modes, handler) { let action = global.display.add_keybinding(name, settings, flags, handler); if (action != Meta.KeyBindingAction.NONE) this.allowKeybinding(name, modes); return action; }, removeKeybinding: function(name) { if (global.display.remove_keybinding(name)) this.allowKeybinding(name, Shell.KeyBindingMode.NONE); }, allowKeybinding: function(name, modes) { this._allowedKeybindings[name] = modes; }, _shouldAnimate: function() { return !Main.overview.visible; }, _shouldAnimateActor: function(actor) { if (!this._shouldAnimate()) return false; let windowType = actor.meta_window.get_window_type(); return windowType == Meta.WindowType.NORMAL || windowType == Meta.WindowType.MODAL_DIALOG; }, _removeEffect : function(list, actor) { let idx = list.indexOf(actor); if (idx != -1) { list.splice(idx, 1); return true; } return false; }, _minimizeWindow : function(shellwm, actor) { if (!this._shouldAnimateActor(actor)) { shellwm.completed_minimize(actor); return; } actor.set_scale(1.0, 1.0); this._minimizing.push(actor); if (actor.meta_window.is_monitor_sized()) { Tweener.addTween(actor, { opacity: 0, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad', onComplete: this._minimizeWindowDone, onCompleteScope: this, onCompleteParams: [shellwm, actor], onOverwrite: this._minimizeWindowOverwritten, onOverwriteScope: this, onOverwriteParams: [shellwm, actor] }); } else { let xDest, yDest, xScale, yScale; let [success, geom] = actor.meta_window.get_icon_geometry(); if (success) { xDest = geom.x; yDest = geom.y; xScale = geom.width / actor.width; yScale = geom.height / actor.height; } else { let monitor = Main.layoutManager.monitors[actor.meta_window.get_monitor()]; xDest = monitor.x; yDest = monitor.y; if (Clutter.get_default_text_direction() == Clutter.TextDirection.RTL) xDest += monitor.width; xScale = 0; yScale = 0; } Tweener.addTween(actor, { scale_x: xScale, scale_y: yScale, x: xDest, y: yDest, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad', onComplete: this._minimizeWindowDone, onCompleteScope: this, onCompleteParams: [shellwm, actor], onOverwrite: this._minimizeWindowOverwritten, onOverwriteScope: this, onOverwriteParams: [shellwm, actor] }); } }, _minimizeWindowDone : function(shellwm, actor) { if (this._removeEffect(this._minimizing, actor)) { Tweener.removeTweens(actor); actor.set_scale(1.0, 1.0); actor.set_opacity(255); actor.move_anchor_point_from_gravity(Clutter.Gravity.NORTH_WEST); shellwm.completed_minimize(actor); } }, _minimizeWindowOverwritten : function(shellwm, actor) { if (this._removeEffect(this._minimizing, actor)) { shellwm.completed_minimize(actor); } }, _maximizeWindow : function(shellwm, actor, targetX, targetY, targetWidth, targetHeight) { shellwm.completed_maximize(actor); }, _maximizeWindowDone : function(shellwm, actor) { }, _maximizeWindowOverwrite : function(shellwm, actor) { }, _unmaximizeWindow : function(shellwm, actor, targetX, targetY, targetWidth, targetHeight) { shellwm.completed_unmaximize(actor); }, _unmaximizeWindowDone : function(shellwm, actor) { }, _hasAttachedDialogs: function(window, ignoreWindow) { var count = 0; window.foreach_transient(function(win) { if (win != ignoreWindow && win.is_attached_dialog()) count++; return false; }); return count != 0; }, _checkDimming: function(window, ignoreWindow) { let shouldDim = this._hasAttachedDialogs(window, ignoreWindow); if (shouldDim && !window._dimmed) { window._dimmed = true; this._dimmedWindows.push(window); this._dimWindow(window); } else if (!shouldDim && window._dimmed) { window._dimmed = false; this._dimmedWindows = this._dimmedWindows.filter(function(win) { return win != window; }); this._undimWindow(window); } }, _dimWindow: function(window) { let actor = window.get_compositor_private(); if (!actor) return; let dimmer = getWindowDimmer(actor); if (!dimmer) return; Tweener.addTween(dimmer, { dimFactor: 1.0, time: DIM_TIME, transition: 'linear' }); }, _undimWindow: function(window) { let actor = window.get_compositor_private(); if (!actor) return; let dimmer = getWindowDimmer(actor); if (!dimmer) return; Tweener.addTween(dimmer, { dimFactor: 0.0, time: UNDIM_TIME, transition: 'linear' }); }, _mapWindow : function(shellwm, actor) { actor._windowType = actor.meta_window.get_window_type(); actor._notifyWindowTypeSignalId = actor.meta_window.connect('notify::window-type', Lang.bind(this, function () { let type = actor.meta_window.get_window_type(); if (type == actor._windowType) return; if (type == Meta.WindowType.MODAL_DIALOG || actor._windowType == Meta.WindowType.MODAL_DIALOG) { let parent = actor.get_meta_window().get_transient_for(); if (parent) this._checkDimming(parent); } actor._windowType = type; })); if (!this._shouldAnimateActor(actor)) { shellwm.completed_map(actor); return; } if (actor.meta_window.is_attached_dialog()) { /* Scale the window from the center of the parent */ this._checkDimming(actor.get_meta_window().get_transient_for()); actor.set_scale(1.0, 0.0); actor.set_pivot_point(0.5, 0.5); actor.show(); this._mapping.push(actor); Tweener.addTween(actor, { scale_y: 1, time: WINDOW_ANIMATION_TIME, transition: "easeOutQuad", onComplete: this._mapWindowDone, onCompleteScope: this, onCompleteParams: [shellwm, actor], onOverwrite: this._mapWindowOverwrite, onOverwriteScope: this, onOverwriteParams: [shellwm, actor] }); } else { /* Fade window in */ actor.opacity = 0; actor.show(); this._mapping.push(actor); Tweener.addTween(actor, { opacity: 255, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad', onComplete: this._mapWindowDone, onCompleteScope: this, onCompleteParams: [shellwm, actor], onOverwrite: this._mapWindowOverwrite, onOverwriteScope: this, onOverwriteParams: [shellwm, actor] }); } }, _mapWindowDone : function(shellwm, actor) { if (this._removeEffect(this._mapping, actor)) { Tweener.removeTweens(actor); actor.opacity = 255; actor.scale_y = 1; shellwm.completed_map(actor); } }, _mapWindowOverwrite : function(shellwm, actor) { if (this._removeEffect(this._mapping, actor)) { shellwm.completed_map(actor); } }, _destroyWindow : function(shellwm, actor) { let window = actor.meta_window; if (actor._notifyWindowTypeSignalId) { window.disconnect(actor._notifyWindowTypeSignalId); actor._notifyWindowTypeSignalId = 0; } if (window._dimmed) { this._dimmedWindows = this._dimmedWindows.filter(function(win) { return win != window; }); } if (!this._shouldAnimateActor(actor)) { shellwm.completed_destroy(actor); return; } this._destroying.push(actor); if (window.is_attached_dialog()) { let parent = window.get_transient_for(); this._checkDimming(parent, window); actor.set_scale(1.0, 1.0); actor.set_pivot_point(0.5, 0.5); actor.show(); actor._parentDestroyId = parent.connect('unmanaged', Lang.bind(this, function () { Tweener.removeTweens(actor); this._destroyWindowDone(shellwm, actor); })); Tweener.addTween(actor, { scale_y: 0, time: WINDOW_ANIMATION_TIME, transition: "easeOutQuad", onComplete: this._destroyWindowDone, onCompleteScope: this, onCompleteParams: [shellwm, actor], onOverwrite: this._destroyWindowDone, onOverwriteScope: this, onOverwriteParams: [shellwm, actor] }); return; } shellwm.completed_destroy(actor); }, _destroyWindowDone : function(shellwm, actor) { if (this._removeEffect(this._destroying, actor)) { let parent = actor.get_meta_window().get_transient_for(); if (parent && actor._parentDestroyId) { parent.disconnect(actor._parentDestroyId); actor._parentDestroyId = 0; } shellwm.completed_destroy(actor); } }, _filterKeybinding: function(shellwm, binding) { if (Main.keybindingMode == Shell.KeyBindingMode.NONE) return true; // There's little sense in implementing a keybinding in mutter and // not having it work in NORMAL mode; handle this case generically // so we don't have to explicitly allow all builtin keybindings in // NORMAL mode. if (Main.keybindingMode == Shell.KeyBindingMode.NORMAL && binding.is_builtin()) return false; return !(this._allowedKeybindings[binding.get_name()] & Main.keybindingMode); }, _switchWorkspace : function(shellwm, from, to, direction) { if (!Main.sessionMode.hasWorkspaces || !this._shouldAnimate()) { shellwm.completed_switch_workspace(); return; } let windows = global.get_window_actors(); /* @direction is the direction that the "camera" moves, so the * screen contents have to move one screen's worth in the * opposite direction. */ let xDest = 0, yDest = 0; if (direction == Meta.MotionDirection.UP || direction == Meta.MotionDirection.UP_LEFT || direction == Meta.MotionDirection.UP_RIGHT) yDest = global.screen_height - Main.panel.actor.height; else if (direction == Meta.MotionDirection.DOWN || direction == Meta.MotionDirection.DOWN_LEFT || direction == Meta.MotionDirection.DOWN_RIGHT) yDest = -global.screen_height + Main.panel.actor.height; if (direction == Meta.MotionDirection.LEFT || direction == Meta.MotionDirection.UP_LEFT || direction == Meta.MotionDirection.DOWN_LEFT) xDest = global.screen_width; else if (direction == Meta.MotionDirection.RIGHT || direction == Meta.MotionDirection.UP_RIGHT || direction == Meta.MotionDirection.DOWN_RIGHT) xDest = -global.screen_width; let switchData = {}; this._switchData = switchData; switchData.inGroup = new Clutter.Actor(); switchData.outGroup = new Clutter.Actor(); switchData.movingWindowBin = new Clutter.Actor(); switchData.windows = []; let wgroup = global.window_group; wgroup.add_actor(switchData.inGroup); wgroup.add_actor(switchData.outGroup); wgroup.add_actor(switchData.movingWindowBin); for (let i = 0; i < windows.length; i++) { let actor = windows[i]; let window = actor.get_meta_window(); if (!window.showing_on_its_workspace()) continue; if (window.is_on_all_workspaces()) continue; let record = { window: actor, parent: actor.get_parent() }; if (this._movingWindow && window == this._movingWindow) { switchData.movingWindow = record; switchData.windows.push(switchData.movingWindow); actor.reparent(switchData.movingWindowBin); } else if (window.get_workspace().index() == from) { switchData.windows.push(record); actor.reparent(switchData.outGroup); } else if (window.get_workspace().index() == to) { switchData.windows.push(record); actor.reparent(switchData.inGroup); actor.show(); } } switchData.inGroup.set_position(-xDest, -yDest); switchData.inGroup.raise_top(); switchData.movingWindowBin.raise_top(); Tweener.addTween(switchData.outGroup, { x: xDest, y: yDest, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad', onComplete: this._switchWorkspaceDone, onCompleteScope: this, onCompleteParams: [shellwm] }); Tweener.addTween(switchData.inGroup, { x: 0, y: 0, time: WINDOW_ANIMATION_TIME, transition: 'easeOutQuad' }); }, _switchWorkspaceDone : function(shellwm) { let switchData = this._switchData; if (!switchData) return; this._switchData = null; for (let i = 0; i < switchData.windows.length; i++) { let w = switchData.windows[i]; if (w.window.is_destroyed()) // Window gone continue; if (w.window.get_parent() == switchData.outGroup) { w.window.reparent(w.parent); w.window.hide(); } else w.window.reparent(w.parent); } Tweener.removeTweens(switchData.inGroup); Tweener.removeTweens(switchData.outGroup); switchData.inGroup.destroy(); switchData.outGroup.destroy(); switchData.movingWindowBin.destroy(); if (this._movingWindow) this._movingWindow = null; shellwm.completed_switch_workspace(); }, _showTilePreview: function(shellwm, window, tileRect, monitorIndex) { if (!this._tilePreview) this._tilePreview = new TilePreview(); this._tilePreview.show(window, tileRect, monitorIndex); }, _hideTilePreview: function(shellwm) { if (!this._tilePreview) return; this._tilePreview.hide(); }, _showWindowMenu: function(shellwm, window, menu, rect) { this._windowMenuManager.showWindowMenuForWindow(window, menu, rect); }, _startAppSwitcher : function(display, screen, window, binding) { /* prevent a corner case where both popups show up at once */ if (this._workspaceSwitcherPopup != null) this._workspaceSwitcherPopup.destroy(); let tabPopup = new AltTab.AppSwitcherPopup(); let modifiers = binding.get_modifiers(); let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK; if (!tabPopup.show(backwards, binding.get_name(), binding.get_mask())) tabPopup.destroy(); }, _startWindowSwitcher : function(display, screen, window, binding) { /* prevent a corner case where both popups show up at once */ if (this._workspaceSwitcherPopup != null) this._workspaceSwitcherPopup.destroy(); let tabPopup = new AltTab.WindowSwitcherPopup(); let modifiers = binding.get_modifiers(); let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK; if (!tabPopup.show(backwards, binding.get_name(), binding.get_mask())) tabPopup.destroy(); }, _startA11ySwitcher : function(display, screen, window, binding) { let modifiers = binding.get_modifiers(); let backwards = modifiers & Meta.VirtualModifier.SHIFT_MASK; Main.ctrlAltTabManager.popup(backwards, binding.get_name(), binding.get_mask()); }, _toggleAppMenu : function(display, screen, window, event, binding) { Main.panel.toggleAppMenu(); }, _toggleTweens: function() { this._tweensPaused = !this._tweensPaused; const OrigTweener = imports.tweener.tweener; if (this._tweensPaused) OrigTweener.pauseAllTweens(); else OrigTweener.resumeAllTweens(); }, _showWorkspaceSwitcher : function(display, screen, window, binding) { if (!Main.sessionMode.hasWorkspaces) return; if (screen.n_workspaces == 1) return; let [action,,,target] = binding.get_name().split('-'); let newWs; let direction; if (target == 'last') { direction = Meta.MotionDirection.DOWN; newWs = screen.get_workspace_by_index(screen.n_workspaces - 1); } else if (isNaN(target)) { direction = Meta.MotionDirection[target.toUpperCase()]; newWs = screen.get_active_workspace().get_neighbor(direction); } else if (target > 0) { target--; newWs = screen.get_workspace_by_index(target); if (screen.get_active_workspace().index() > target) direction = Meta.MotionDirection.UP; else direction = Meta.MotionDirection.DOWN; } if (direction != Meta.MotionDirection.UP && direction != Meta.MotionDirection.DOWN) return; if (action == 'switch') this.actionMoveWorkspace(newWs); else this.actionMoveWindow(window, newWs); if (!Main.overview.visible) { if (this._workspaceSwitcherPopup == null) { this._workspaceSwitcherPopup = new WorkspaceSwitcherPopup.WorkspaceSwitcherPopup(); this._workspaceSwitcherPopup.connect('destroy', Lang.bind(this, function() { this._workspaceSwitcherPopup = null; })); } this._workspaceSwitcherPopup.display(direction, newWs.index()); } }, actionMoveWorkspace: function(workspace) { if (!Main.sessionMode.hasWorkspaces) return; let activeWorkspace = global.screen.get_active_workspace(); if (activeWorkspace != workspace) workspace.activate(global.get_current_time()); }, actionMoveWindow: function(window, workspace) { if (!Main.sessionMode.hasWorkspaces) return; let activeWorkspace = global.screen.get_active_workspace(); if (activeWorkspace != workspace) { // This won't have any effect for "always sticky" windows // (like desktop windows or docks) this._movingWindow = window; window.change_workspace(workspace); global.display.clear_mouse_mode(); workspace.activate_with_focus (window, global.get_current_time()); } }, _confirmDisplayChange: function() { let dialog = new DisplayChangeDialog(this._shellwm); dialog.open(); }, });