e7fcce3484
Both WorkspacesDisplay and ThumbnailsBox need to know when windows have been restacked. Instead of each tracking changes on their own or trying to call each other, have the overview keep track and do the calculations, emitting a signal with the result. https://bugzilla.gnome.org/show_bug.cgi?id=682050
842 lines
31 KiB
JavaScript
842 lines
31 KiB
JavaScript
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
|
|
|
const Clutter = imports.gi.Clutter;
|
|
const Gio = imports.gi.Gio;
|
|
const Lang = imports.lang;
|
|
const Mainloop = imports.mainloop;
|
|
const Meta = imports.gi.Meta;
|
|
const Shell = imports.gi.Shell;
|
|
const St = imports.gi.St;
|
|
const Signals = imports.signals;
|
|
|
|
const DND = imports.ui.dnd;
|
|
const Main = imports.ui.main;
|
|
const Overview = imports.ui.overview;
|
|
const Tweener = imports.ui.tweener;
|
|
const Workspace = imports.ui.workspace;
|
|
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
|
|
|
|
const WORKSPACE_SWITCH_TIME = 0.25;
|
|
// Note that mutter has a compile-time limit of 36
|
|
const MAX_WORKSPACES = 16;
|
|
|
|
const OVERRIDE_SCHEMA = 'org.gnome.shell.overrides';
|
|
|
|
|
|
const WorkspacesView = new Lang.Class({
|
|
Name: 'WorkspacesView',
|
|
|
|
_init: function(workspaces) {
|
|
this.actor = new St.Widget({ style_class: 'workspaces-view' });
|
|
|
|
// The actor itself isn't a drop target, so we don't want to pick on its area
|
|
this.actor.set_size(0, 0);
|
|
|
|
this.actor.connect('destroy', Lang.bind(this, this._onDestroy));
|
|
|
|
this.actor.connect('style-changed', Lang.bind(this,
|
|
function() {
|
|
let node = this.actor.get_theme_node();
|
|
this._spacing = node.get_length('spacing');
|
|
this._updateWorkspaceActors(false);
|
|
}));
|
|
|
|
this._width = 0;
|
|
this._height = 0;
|
|
this._x = 0;
|
|
this._y = 0;
|
|
this._clipX = 0;
|
|
this._clipY = 0;
|
|
this._clipWidth = 0;
|
|
this._clipHeight = 0;
|
|
this._spacing = 0;
|
|
this._animating = false; // tweening
|
|
this._scrolling = false; // swipe-scrolling
|
|
this._animatingScroll = false; // programatically updating the adjustment
|
|
this._zoomOut = false; // zoom to a larger area
|
|
this._inDrag = false; // dragging a window
|
|
|
|
this._settings = new Gio.Settings({ schema: OVERRIDE_SCHEMA });
|
|
this._updateExtraWorkspacesId =
|
|
this._settings.connect('changed::workspaces-only-on-primary',
|
|
Lang.bind(this, this._updateExtraWorkspaces));
|
|
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
|
this._workspaces = workspaces;
|
|
|
|
// Add workspace actors
|
|
for (let w = 0; w < global.screen.n_workspaces; w++)
|
|
this._workspaces[w].actor.reparent(this.actor);
|
|
this._workspaces[activeWorkspaceIndex].actor.raise_top();
|
|
|
|
this._extraWorkspaces = [];
|
|
this._updateExtraWorkspaces();
|
|
|
|
// Position/scale the desktop windows and their children after the
|
|
// workspaces have been created. This cannot be done first because
|
|
// window movement depends on the Workspaces object being accessible
|
|
// as an Overview member.
|
|
this._overviewShowingId =
|
|
Main.overview.connect('showing',
|
|
Lang.bind(this, function() {
|
|
for (let w = 0; w < this._workspaces.length; w++)
|
|
this._workspaces[w].zoomToOverview();
|
|
for (let w = 0; w < this._extraWorkspaces.length; w++)
|
|
this._extraWorkspaces[w].zoomToOverview();
|
|
}));
|
|
this._overviewShownId =
|
|
Main.overview.connect('shown',
|
|
Lang.bind(this, function() {
|
|
this.actor.set_clip(this._clipX, this._clipY,
|
|
this._clipWidth, this._clipHeight);
|
|
}));
|
|
|
|
this.scrollAdjustment = new St.Adjustment({ value: activeWorkspaceIndex,
|
|
lower: 0,
|
|
page_increment: 1,
|
|
page_size: 1,
|
|
step_increment: 0,
|
|
upper: this._workspaces.length });
|
|
this.scrollAdjustment.connect('notify::value',
|
|
Lang.bind(this, this._onScroll));
|
|
|
|
this._switchWorkspaceNotifyId =
|
|
global.window_manager.connect('switch-workspace',
|
|
Lang.bind(this, this._activeWorkspaceChanged));
|
|
|
|
this._appDragBeginId = Main.overview.connect('app-drag-begin',
|
|
Lang.bind(this, this._dragBegin));
|
|
this._appDragEndId = Main.overview.connect('app-drag-end',
|
|
Lang.bind(this, this._dragEnd));
|
|
this._windowDragBeginId = Main.overview.connect('window-drag-begin',
|
|
Lang.bind(this, this._dragBegin));
|
|
this._windowDragEndId = Main.overview.connect('window-drag-end',
|
|
Lang.bind(this, this._dragEnd));
|
|
},
|
|
|
|
_updateExtraWorkspaces: function() {
|
|
this._destroyExtraWorkspaces();
|
|
|
|
if (!this._settings.get_boolean('workspaces-only-on-primary'))
|
|
return;
|
|
|
|
let monitors = Main.layoutManager.monitors;
|
|
for (let i = 0; i < monitors.length; i++) {
|
|
if (i == Main.layoutManager.primaryIndex)
|
|
continue;
|
|
|
|
let ws = new Workspace.Workspace(null, i);
|
|
ws.setGeometry(monitors[i].x, monitors[i].y,
|
|
monitors[i].width, monitors[i].height);
|
|
global.overlay_group.add_actor(ws.actor);
|
|
this._extraWorkspaces.push(ws);
|
|
}
|
|
},
|
|
|
|
_destroyExtraWorkspaces: function() {
|
|
for (let m = 0; m < this._extraWorkspaces.length; m++)
|
|
this._extraWorkspaces[m].destroy();
|
|
this._extraWorkspaces = [];
|
|
},
|
|
|
|
setGeometry: function(x, y, width, height) {
|
|
if (this._x == x && this._y == y &&
|
|
this._width == width && this._height == height)
|
|
return;
|
|
|
|
this._width = width;
|
|
this._height = height;
|
|
this._x = x;
|
|
this._y = y;
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
this._workspaces[i].setGeometry(x, y, width, height);
|
|
},
|
|
|
|
setClipRect: function(x, y, width, height) {
|
|
this._clipX = x;
|
|
this._clipY = y;
|
|
this._clipWidth = width;
|
|
this._clipHeight = height;
|
|
},
|
|
|
|
_lookupWorkspaceForMetaWindow: function (metaWindow) {
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
|
if (this._workspaces[i].containsMetaWindow(metaWindow))
|
|
return this._workspaces[i];
|
|
}
|
|
return null;
|
|
},
|
|
|
|
getActiveWorkspace: function() {
|
|
let active = global.screen.get_active_workspace_index();
|
|
return this._workspaces[active];
|
|
},
|
|
|
|
hide: function() {
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
|
let activeWorkspace = this._workspaces[activeWorkspaceIndex];
|
|
|
|
activeWorkspace.actor.raise_top();
|
|
|
|
this.actor.remove_clip();
|
|
|
|
for (let w = 0; w < this._workspaces.length; w++)
|
|
this._workspaces[w].zoomFromOverview();
|
|
for (let w = 0; w < this._extraWorkspaces.length; w++)
|
|
this._extraWorkspaces[w].zoomFromOverview();
|
|
},
|
|
|
|
destroy: function() {
|
|
this.actor.destroy();
|
|
},
|
|
|
|
syncStacking: function(stackIndices) {
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
this._workspaces[i].syncStacking(stackIndices);
|
|
for (let i = 0; i < this._extraWorkspaces.length; i++)
|
|
this._extraWorkspaces[i].syncStacking(stackIndices);
|
|
},
|
|
|
|
updateWindowPositions: function() {
|
|
for (let w = 0; w < this._workspaces.length; w++)
|
|
this._workspaces[w].positionWindows(Workspace.WindowPositionFlags.ANIMATE);
|
|
},
|
|
|
|
_scrollToActive: function(showAnimation) {
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
this._updateWorkspaceActors(showAnimation);
|
|
this._updateScrollAdjustment(active, showAnimation);
|
|
},
|
|
|
|
// Update workspace actors parameters
|
|
// @showAnimation: iff %true, transition between states
|
|
_updateWorkspaceActors: function(showAnimation) {
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
this._animating = showAnimation;
|
|
|
|
for (let w = 0; w < this._workspaces.length; w++) {
|
|
let workspace = this._workspaces[w];
|
|
|
|
Tweener.removeTweens(workspace.actor);
|
|
|
|
let y = (w - active) * (this._height + this._spacing);
|
|
|
|
if (showAnimation) {
|
|
let params = { y: y,
|
|
time: WORKSPACE_SWITCH_TIME,
|
|
transition: 'easeOutQuad'
|
|
};
|
|
// we have to call _updateVisibility() once before the
|
|
// animation and once afterwards - it does not really
|
|
// matter which tween we use, so we pick the first one ...
|
|
if (w == 0) {
|
|
this._updateVisibility();
|
|
params.onComplete = Lang.bind(this,
|
|
function() {
|
|
this._animating = false;
|
|
this._updateVisibility();
|
|
});
|
|
}
|
|
Tweener.addTween(workspace.actor, params);
|
|
} else {
|
|
workspace.actor.set_position(0, y);
|
|
if (w == 0)
|
|
this._updateVisibility();
|
|
}
|
|
}
|
|
},
|
|
|
|
_updateVisibility: function() {
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
for (let w = 0; w < this._workspaces.length; w++) {
|
|
let workspace = this._workspaces[w];
|
|
if (this._animating || this._scrolling) {
|
|
workspace.actor.show();
|
|
} else {
|
|
if (this._inDrag)
|
|
workspace.actor.visible = (Math.abs(w - active) <= 1);
|
|
else
|
|
workspace.actor.visible = (w == active);
|
|
}
|
|
}
|
|
},
|
|
|
|
_updateScrollAdjustment: function(index, showAnimation) {
|
|
if (this._scrolling)
|
|
return;
|
|
|
|
this._animatingScroll = true;
|
|
|
|
if (showAnimation) {
|
|
Tweener.addTween(this.scrollAdjustment, {
|
|
value: index,
|
|
time: WORKSPACE_SWITCH_TIME,
|
|
transition: 'easeOutQuad',
|
|
onComplete: Lang.bind(this,
|
|
function() {
|
|
this._animatingScroll = false;
|
|
})
|
|
});
|
|
} else {
|
|
this.scrollAdjustment.value = index;
|
|
this._animatingScroll = false;
|
|
}
|
|
},
|
|
|
|
updateWorkspaces: function(oldNumWorkspaces, newNumWorkspaces) {
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
Tweener.addTween(this.scrollAdjustment,
|
|
{ upper: newNumWorkspaces,
|
|
time: WORKSPACE_SWITCH_TIME,
|
|
transition: 'easeOutQuad'
|
|
});
|
|
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
|
for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
|
|
this._workspaces[w].setGeometry(this._x, this._y,
|
|
this._width, this._height);
|
|
this.actor.add_actor(this._workspaces[w].actor);
|
|
}
|
|
|
|
this._updateWorkspaceActors(false);
|
|
}
|
|
},
|
|
|
|
_activeWorkspaceChanged: function(wm, from, to, direction) {
|
|
if (this._scrolling)
|
|
return;
|
|
|
|
this._scrollToActive(true);
|
|
},
|
|
|
|
_onDestroy: function() {
|
|
this._destroyExtraWorkspaces();
|
|
this.scrollAdjustment.run_dispose();
|
|
Main.overview.disconnect(this._overviewShowingId);
|
|
Main.overview.disconnect(this._overviewShownId);
|
|
global.window_manager.disconnect(this._switchWorkspaceNotifyId);
|
|
this._settings.disconnect(this._updateExtraWorkspacesId);
|
|
|
|
if (this._inDrag)
|
|
this._dragEnd();
|
|
|
|
if (this._appDragBeginId > 0) {
|
|
Main.overview.disconnect(this._appDragBeginId);
|
|
this._appDragBeginId = 0;
|
|
}
|
|
if (this._appDragEndId > 0) {
|
|
Main.overview.disconnect(this._appDragEndId);
|
|
this._appDragEndId = 0;
|
|
}
|
|
if (this._windowDragBeginId > 0) {
|
|
Main.overview.disconnect(this._windowDragBeginId);
|
|
this._windowDragBeginId = 0;
|
|
}
|
|
if (this._windowDragEndId > 0) {
|
|
Main.overview.disconnect(this._windowDragEndId);
|
|
this._windowDragEndId = 0;
|
|
}
|
|
},
|
|
|
|
_dragBegin: function() {
|
|
if (this._scrolling)
|
|
return;
|
|
|
|
this._inDrag = true;
|
|
this._firstDragMotion = true;
|
|
|
|
this._dragMonitor = {
|
|
dragMotion: Lang.bind(this, this._onDragMotion)
|
|
};
|
|
DND.addDragMonitor(this._dragMonitor);
|
|
},
|
|
|
|
_onDragMotion: function(dragEvent) {
|
|
if (Main.overview.animationInProgress)
|
|
return DND.DragMotionResult.CONTINUE;
|
|
|
|
if (this._firstDragMotion) {
|
|
this._firstDragMotion = false;
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
this._workspaces[i].setReservedSlot(dragEvent.dragActor._delegate);
|
|
for (let i = 0; i < this._extraWorkspaces.length; i++)
|
|
this._extraWorkspaces[i].setReservedSlot(dragEvent.dragActor._delegate);
|
|
}
|
|
|
|
return DND.DragMotionResult.CONTINUE;
|
|
},
|
|
|
|
_dragEnd: function() {
|
|
DND.removeDragMonitor(this._dragMonitor);
|
|
this._inDrag = false;
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
this._workspaces[i].setReservedSlot(null);
|
|
for (let i = 0; i < this._extraWorkspaces.length; i++)
|
|
this._extraWorkspaces[i].setReservedSlot(null);
|
|
},
|
|
|
|
startSwipeScroll: function() {
|
|
this._scrolling = true;
|
|
},
|
|
|
|
endSwipeScroll: function(result) {
|
|
this._scrolling = false;
|
|
|
|
if (result == Overview.SwipeScrollResult.CLICK) {
|
|
let [x, y, mod] = global.get_pointer();
|
|
let actor = global.stage.get_actor_at_pos(Clutter.PickMode.ALL,
|
|
x, y);
|
|
|
|
// Only switch to the workspace when there's no application
|
|
// windows open. The problem is that it's too easy to miss
|
|
// an app window and get the wrong one focused.
|
|
let active = global.screen.get_active_workspace_index();
|
|
if (this._workspaces[active].isEmpty() &&
|
|
this.actor.contains(actor))
|
|
Main.overview.hide();
|
|
}
|
|
|
|
// Make sure title captions etc are shown as necessary
|
|
this._updateVisibility();
|
|
},
|
|
|
|
// sync the workspaces' positions to the value of the scroll adjustment
|
|
// and change the active workspace if appropriate
|
|
_onScroll: function(adj) {
|
|
if (this._animatingScroll)
|
|
return;
|
|
|
|
let active = global.screen.get_active_workspace_index();
|
|
let current = Math.round(adj.value);
|
|
|
|
if (active != current) {
|
|
let metaWorkspace = this._workspaces[current].metaWorkspace;
|
|
metaWorkspace.activate(global.get_current_time());
|
|
}
|
|
|
|
let last = this._workspaces.length - 1;
|
|
let firstWorkspaceY = this._workspaces[0].actor.y;
|
|
let lastWorkspaceY = this._workspaces[last].actor.y;
|
|
let workspacesHeight = lastWorkspaceY - firstWorkspaceY;
|
|
|
|
if (adj.upper == 1)
|
|
return;
|
|
|
|
let currentY = firstWorkspaceY;
|
|
let newY = - adj.value / (adj.upper - 1) * workspacesHeight;
|
|
|
|
let dy = newY - currentY;
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
|
this._workspaces[i].actor.visible = Math.abs(i - adj.value) <= 1;
|
|
this._workspaces[i].actor.y += dy;
|
|
}
|
|
},
|
|
|
|
_getWorkspaceIndexToRemove: function() {
|
|
return global.screen.get_active_workspace_index();
|
|
}
|
|
});
|
|
Signals.addSignalMethods(WorkspacesView.prototype);
|
|
|
|
|
|
const WorkspacesDisplay = new Lang.Class({
|
|
Name: 'WorkspacesDisplay',
|
|
|
|
_init: function() {
|
|
this.actor = new Shell.GenericContainer();
|
|
this.actor.connect('get-preferred-width', Lang.bind(this, this._getPreferredWidth));
|
|
this.actor.connect('get-preferred-height', Lang.bind(this, this._getPreferredHeight));
|
|
this.actor.connect('allocate', Lang.bind(this, this._allocate));
|
|
this.actor.connect('notify::mapped', Lang.bind(this, this._setupSwipeScrolling));
|
|
this.actor.connect('parent-set', Lang.bind(this, this._parentSet));
|
|
this.actor.set_clip_to_allocation(true);
|
|
|
|
this._primaryIndex = Main.layoutManager.primaryIndex;
|
|
|
|
this._workspacesViews = null;
|
|
this._primaryScrollAdjustment = null;
|
|
|
|
this._settings = new Gio.Settings({ schema: OVERRIDE_SCHEMA });
|
|
this._settings.connect('changed::workspaces-only-on-primary',
|
|
Lang.bind(this,
|
|
this._workspacesOnlyOnPrimaryChanged));
|
|
this._workspacesOnlyOnPrimaryChanged();
|
|
|
|
this._inDrag = false;
|
|
this._cancelledDrag = false;
|
|
|
|
global.screen.connect('notify::n-workspaces',
|
|
Lang.bind(this, this._workspacesChanged));
|
|
|
|
this._switchWorkspaceNotifyId = 0;
|
|
|
|
this._appDragBeginId = 0;
|
|
this._appDragCancelledId = 0;
|
|
this._appDragEndId = 0;
|
|
this._windowDragBeginId = 0;
|
|
this._windowDragCancelledId = 0;
|
|
this._windowDragEndId = 0;
|
|
this._notifyOpacityId = 0;
|
|
this._swipeScrollBeginId = 0;
|
|
this._swipeScrollEndId = 0;
|
|
|
|
this._settings = new Gio.Settings({ schema: OVERRIDE_SCHEMA });
|
|
this._settings.connect('changed::dynamic-workspaces',
|
|
Lang.bind(this, this._updateSwitcherVisibility));
|
|
},
|
|
|
|
_updateSwitcherVisibility: function() {
|
|
this._thumbnailsBox.actor.visible =
|
|
this._settings.get_boolean('dynamic-workspaces') ||
|
|
global.screen.n_workspaces > 1;
|
|
},
|
|
|
|
show: function() {
|
|
this._updateWorkspacesViews();
|
|
|
|
this._restackedNotifyId =
|
|
Main.overview.connect('sync-window-stacking',
|
|
Lang.bind(this, this._onRestacked));
|
|
|
|
if (this._appDragBeginId == 0)
|
|
this._appDragBeginId = Main.overview.connect('app-drag-begin',
|
|
Lang.bind(this, this._dragBegin));
|
|
if (this._appDragCancelledId == 0)
|
|
this._appDragCancelledId = Main.overview.connect('app-drag-cancelled',
|
|
Lang.bind(this, this._dragCancelled));
|
|
if (this._appDragEndId == 0)
|
|
this._appDragEndId = Main.overview.connect('app-drag-end',
|
|
Lang.bind(this, this._dragEnd));
|
|
if (this._windowDragBeginId == 0)
|
|
this._windowDragBeginId = Main.overview.connect('window-drag-begin',
|
|
Lang.bind(this, this._dragBegin));
|
|
if (this._windowDragCancelledId == 0)
|
|
this._windowDragCancelledId = Main.overview.connect('window-drag-cancelled',
|
|
Lang.bind(this, this._dragCancelled));
|
|
if (this._windowDragEndId == 0)
|
|
this._windowDragEndId = Main.overview.connect('window-drag-end',
|
|
Lang.bind(this, this._dragEnd));
|
|
},
|
|
|
|
zoomFromOverview: function() {
|
|
for (let i = 0; i < this._workspacesViews.length; i++) {
|
|
this._workspacesViews[i].hide();
|
|
}
|
|
},
|
|
|
|
hide: function() {
|
|
if (this._restackedNotifyId > 0){
|
|
Main.overview.disconnect(this._restackedNotifyId);
|
|
this._restackedNotifyId = 0;
|
|
}
|
|
if (this._appDragBeginId > 0) {
|
|
Main.overview.disconnect(this._appDragBeginId);
|
|
this._appDragBeginId = 0;
|
|
}
|
|
if (this._appDragCancelledId > 0) {
|
|
Main.overview.disconnect(this._appDragCancelledId);
|
|
this._appDragCancelledId = 0;
|
|
}
|
|
if (this._appDragEndId > 0) {
|
|
Main.overview.disconnect(this._appDragEndId);
|
|
this._appDragEndId = 0;
|
|
}
|
|
if (this._windowDragBeginId > 0) {
|
|
Main.overview.disconnect(this._windowDragBeginId);
|
|
this._windowDragBeginId = 0;
|
|
}
|
|
if (this._windowDragCancelledId > 0) {
|
|
Main.overview.disconnect(this._windowDragCancelledId);
|
|
this._windowDragCancelledId = 0;
|
|
}
|
|
if (this._windowDragEndId > 0) {
|
|
Main.overview.disconnect(this._windowDragEndId);
|
|
this._windowDragEndId = 0;
|
|
}
|
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].destroy();
|
|
this._workspacesViews = null;
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
for (let w = 0; w < this._workspaces[i].length; w++) {
|
|
this._workspaces[i][w].disconnectAll();
|
|
this._workspaces[i][w].destroy();
|
|
}
|
|
},
|
|
|
|
_setupSwipeScrolling: function() {
|
|
if (this._swipeScrollBeginId)
|
|
Main.overview.disconnect(this._swipeScrollBeginId);
|
|
this._swipeScrollBeginId = 0;
|
|
|
|
if (this._swipeScrollEndId)
|
|
Main.overview.disconnect(this._swipeScrollEndId);
|
|
this._swipeScrollEndId = 0;
|
|
|
|
if (!this.actor.mapped)
|
|
return;
|
|
|
|
let direction = Overview.SwipeScrollDirection.VERTICAL;
|
|
Main.overview.setScrollAdjustment(this._scrollAdjustment,
|
|
direction);
|
|
this._swipeScrollBeginId = Main.overview.connect('swipe-scroll-begin',
|
|
Lang.bind(this, function() {
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].startSwipeScroll();
|
|
}));
|
|
this._swipeScrollEndId = Main.overview.connect('swipe-scroll-end',
|
|
Lang.bind(this, function(overview, result) {
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].endSwipeScroll(result);
|
|
}));
|
|
},
|
|
|
|
_workspacesOnlyOnPrimaryChanged: function() {
|
|
this._workspacesOnlyOnPrimary = this._settings.get_boolean('workspaces-only-on-primary');
|
|
|
|
if (!Main.overview.visible)
|
|
return;
|
|
|
|
this._updateWorkspacesViews();
|
|
},
|
|
|
|
_updateWorkspacesViews: function() {
|
|
if (this._workspacesViews)
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].destroy();
|
|
|
|
if (this._workspaces)
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
for (let w = 0; w < this._workspaces[i].length; w++)
|
|
this._workspaces[i][w].destroy();
|
|
|
|
this._workspacesViews = [];
|
|
this._workspaces = [];
|
|
let monitors = Main.layoutManager.monitors;
|
|
for (let i = 0; i < monitors.length; i++) {
|
|
if (this._workspacesOnlyOnPrimary && i != this._primaryIndex)
|
|
continue; // we are only interested in the primary monitor
|
|
|
|
let monitorWorkspaces = [];
|
|
for (let w = 0; w < global.screen.n_workspaces; w++) {
|
|
let metaWorkspace = global.screen.get_workspace_by_index(w);
|
|
monitorWorkspaces.push(new Workspace.Workspace(metaWorkspace, i));
|
|
}
|
|
|
|
this._workspaces.push(monitorWorkspaces);
|
|
|
|
let view = new WorkspacesView(monitorWorkspaces);
|
|
if (this._workspacesOnlyOnPrimary || i == this._primaryIndex) {
|
|
this._scrollAdjustment = view.scrollAdjustment;
|
|
this._scrollAdjustment.connect('notify::value',
|
|
Lang.bind(this, this._scrollValueChanged));
|
|
this._setupSwipeScrolling();
|
|
}
|
|
this._workspacesViews.push(view);
|
|
}
|
|
|
|
this._updateWorkspacesGeometry();
|
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
global.overlay_group.add_actor(this._workspacesViews[i].actor);
|
|
},
|
|
|
|
_scrollValueChanged: function() {
|
|
if (this._workspacesOnlyOnPrimary)
|
|
return;
|
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++) {
|
|
if (i == this._primaryIndex)
|
|
continue;
|
|
|
|
let adjustment = this._workspacesViews[i].scrollAdjustment;
|
|
// the adjustments work in terms of workspaces, so the
|
|
// values map directly
|
|
adjustment.value = this._scrollAdjustment.value;
|
|
}
|
|
},
|
|
|
|
_getPrimaryView: function() {
|
|
if (!this._workspacesViews)
|
|
return null;
|
|
if (this._workspacesOnlyOnPrimary)
|
|
return this._workspacesViews[0];
|
|
else
|
|
return this._workspacesViews[this._primaryIndex];
|
|
},
|
|
|
|
activeWorkspaceHasMaximizedWindows: function() {
|
|
return this._getPrimaryView().getActiveWorkspace().hasMaximizedWindows();
|
|
},
|
|
|
|
_getPreferredWidth: function (actor, forHeight, alloc) {
|
|
// pass through the call in case the child needs it, but report 0x0
|
|
},
|
|
|
|
_getPreferredHeight: function (actor, forWidth, alloc) {
|
|
// pass through the call in case the child needs it, but report 0x0
|
|
},
|
|
|
|
_allocate: function (actor, box, flags) {
|
|
this._updateWorkspacesGeometry();
|
|
},
|
|
|
|
_parentSet: function(actor, oldParent) {
|
|
if (oldParent && this._notifyOpacityId)
|
|
oldParent.disconnect(this._notifyOpacityId);
|
|
this._notifyOpacityId = 0;
|
|
|
|
Meta.later_add(Meta.LaterType.BEFORE_REDRAW, Lang.bind(this,
|
|
function() {
|
|
let newParent = this.actor.get_parent();
|
|
if (!newParent)
|
|
return;
|
|
|
|
// This is kinda hackish - we want the primary view to
|
|
// appear as parent of this.actor, though in reality it
|
|
// is added directly to overlay_group
|
|
this._notifyOpacityId = newParent.connect('notify::opacity',
|
|
Lang.bind(this, function() {
|
|
let opacity = this.actor.get_parent().opacity;
|
|
let primaryView = this._getPrimaryView();
|
|
if (!primaryView)
|
|
return;
|
|
primaryView.actor.opacity = opacity;
|
|
primaryView.actor.visible = opacity != 0;
|
|
}));
|
|
}));
|
|
},
|
|
|
|
_updateWorkspacesGeometry: function() {
|
|
if (!this._workspacesViews)
|
|
return;
|
|
|
|
let fullWidth = this.actor.allocation.x2 - this.actor.allocation.x1;
|
|
let fullHeight = this.actor.allocation.y2 - this.actor.allocation.y1;
|
|
|
|
let width = fullWidth;
|
|
let height = fullHeight;
|
|
|
|
let [x, y] = this.actor.get_transformed_position();
|
|
|
|
let rtl = (Clutter.get_default_text_direction () == Clutter.TextDirection.RTL);
|
|
|
|
let clipWidth = width;
|
|
let clipHeight = fullHeight;
|
|
let clipX = x;
|
|
let clipY = y + (fullHeight - clipHeight) / 2;
|
|
|
|
let monitors = Main.layoutManager.monitors;
|
|
let m = 0;
|
|
for (let i = 0; i < monitors.length; i++) {
|
|
if (i == this._primaryIndex) {
|
|
this._workspacesViews[m].setClipRect(clipX, clipY,
|
|
clipWidth, clipHeight);
|
|
this._workspacesViews[m].setGeometry(x, y, width, height);
|
|
m++;
|
|
} else if (!this._workspacesOnlyOnPrimary) {
|
|
this._workspacesViews[m].setClipRect(monitors[i].x,
|
|
monitors[i].y,
|
|
monitors[i].width,
|
|
monitors[i].height);
|
|
this._workspacesViews[m].setGeometry(monitors[i].x,
|
|
monitors[i].y,
|
|
monitors[i].width,
|
|
monitors[i].height);
|
|
m++;
|
|
}
|
|
}
|
|
},
|
|
|
|
_onRestacked: function(actor, stackIndices) {
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].syncStacking(stackIndices);
|
|
},
|
|
|
|
_workspacesChanged: function() {
|
|
if (this._workspacesViews == null)
|
|
return;
|
|
|
|
let oldNumWorkspaces = this._workspaces[0].length;
|
|
let newNumWorkspaces = global.screen.n_workspaces;
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
let lostWorkspaces = [];
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
|
let monitors = Main.layoutManager.monitors;
|
|
let m = 0;
|
|
for (let i = 0; i < monitors.length; i++) {
|
|
if (this._workspacesOnlyOnPrimary &&
|
|
i != this._primaryIndex)
|
|
continue;
|
|
|
|
// Assume workspaces are only added at the end
|
|
for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
|
|
let metaWorkspace = global.screen.get_workspace_by_index(w);
|
|
this._workspaces[m][w] =
|
|
new Workspace.Workspace(metaWorkspace, i);
|
|
}
|
|
m++;
|
|
}
|
|
} 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 metaWorkspace = global.screen.get_workspace_by_index(w);
|
|
if (this._workspaces[0][w].metaWorkspace != metaWorkspace) {
|
|
removedIndex = w;
|
|
break;
|
|
}
|
|
}
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
|
lostWorkspaces = this._workspaces[i].splice(removedIndex,
|
|
removedNum);
|
|
|
|
for (let l = 0; l < lostWorkspaces.length; l++) {
|
|
lostWorkspaces[l].disconnectAll();
|
|
lostWorkspaces[l].destroy();
|
|
}
|
|
}
|
|
}
|
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
this._workspacesViews[i].updateWorkspaces(oldNumWorkspaces,
|
|
newNumWorkspaces);
|
|
this._updateSwitcherVisibility();
|
|
},
|
|
|
|
_dragBegin: function() {
|
|
this._inDrag = true;
|
|
this._cancelledDrag = false;
|
|
this._dragMonitor = {
|
|
dragMotion: Lang.bind(this, this._onDragMotion)
|
|
};
|
|
DND.addDragMonitor(this._dragMonitor);
|
|
},
|
|
|
|
_dragCancelled: function() {
|
|
this._cancelledDrag = true;
|
|
DND.removeDragMonitor(this._dragMonitor);
|
|
},
|
|
|
|
_onDragMotion: function(dragEvent) {
|
|
return DND.DragMotionResult.CONTINUE;
|
|
},
|
|
|
|
_dragEnd: function() {
|
|
this._inDrag = false;
|
|
}
|
|
});
|
|
Signals.addSignalMethods(WorkspacesDisplay.prototype);
|