2011-09-28 13:16:26 +00:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2010-01-22 02:33:48 +00:00
|
|
|
|
|
|
|
const Clutter = imports.gi.Clutter;
|
2011-11-25 14:44:17 +00:00
|
|
|
const Gio = imports.gi.Gio;
|
2012-11-26 04:40:48 +00:00
|
|
|
const GObject = imports.gi.GObject;
|
2010-01-22 02:33:48 +00:00
|
|
|
const Lang = imports.lang;
|
|
|
|
const Mainloop = imports.mainloop;
|
2011-01-30 21:38:13 +00:00
|
|
|
const Meta = imports.gi.Meta;
|
2010-01-22 02:33:48 +00:00
|
|
|
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;
|
2011-01-31 02:18:12 +00:00
|
|
|
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
|
2010-01-22 02:33:48 +00:00
|
|
|
|
|
|
|
const WORKSPACE_SWITCH_TIME = 0.25;
|
|
|
|
// Note that mutter has a compile-time limit of 36
|
|
|
|
const MAX_WORKSPACES = 16;
|
|
|
|
|
2011-11-25 14:44:17 +00:00
|
|
|
const OVERRIDE_SCHEMA = 'org.gnome.shell.overrides';
|
2010-03-16 15:51:24 +00:00
|
|
|
|
2010-11-12 09:28:28 +00:00
|
|
|
|
2011-11-20 17:56:27 +00:00
|
|
|
const WorkspacesView = new Lang.Class({
|
|
|
|
Name: 'WorkspacesView',
|
2010-01-22 02:33:48 +00:00
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
_init: function(workspaces) {
|
2012-02-14 16:33:26 +00:00
|
|
|
this.actor = new St.Widget({ style_class: 'workspaces-view' });
|
2010-01-22 02:33:48 +00:00
|
|
|
|
2011-01-31 01:35:58 +00:00
|
|
|
// The actor itself isn't a drop target, so we don't want to pick on its area
|
|
|
|
this.actor.set_size(0, 0);
|
|
|
|
|
2010-02-18 15:43:58 +00:00
|
|
|
this.actor.connect('destroy', Lang.bind(this, this._onDestroy));
|
|
|
|
|
2010-02-10 06:00:02 +00:00
|
|
|
this.actor.connect('style-changed', Lang.bind(this,
|
|
|
|
function() {
|
|
|
|
let node = this.actor.get_theme_node();
|
StThemeNode: simplify use of get_color/get_double/get_length
Although within St itself there are situations where the semantics of
these functions (return TRUE or FALSE and return the actual value in
an out parameter) is useful, it's mostly just annoying at the
application level, where you generally know that the CSS property is
going to specified, and there is no especially sane fallback if it's
not.
So rename the current methods to lookup_color, lookup_double, and
lookup_length, and add new get_color, get_double, and get_length
methods that don't take an "inherit" parameter, and return their
values directly. (Well, except for get_color, due to the lack of (out
caller-allocates) in gjs.)
And update the code to use either the old or new methods as appropriate.
https://bugzilla.gnome.org/show_bug.cgi?id=632590
2010-09-26 21:38:36 +00:00
|
|
|
this._spacing = node.get_length('spacing');
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
this._updateWorkspaceActors(false);
|
2010-02-10 06:00:02 +00:00
|
|
|
}));
|
2010-01-22 02:33:48 +00:00
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
this._width = 0;
|
|
|
|
this._height = 0;
|
|
|
|
this._x = 0;
|
|
|
|
this._y = 0;
|
workspaces-view: Handle clip rectangle separately
After completing the overview transition, the workspace view is
clipped to avoid overlapping the search entry/view selector titles
while switching workspaces. For clipping, the view's position and
size was used, which works well assuming that the workspace pager
will start hidden or stay zoomed out while the overview is visible.
However, that assumption holds no longer true, as auto-hiding the
pager now depends on the number of workspaces, and thus may change
while in the overview. For instance, when starting with the pager
being visible, the clip area ends up being too small when moving
all windows to the first workspace (and thus triggering auto-hide).
As a fix, handle the clip rectangle separately from the view's
geometry, and set it always to the area the workspaces would
occupy with the pager hidden.
https://bugzilla.gnome.org/show_bug.cgi?id=653142
2011-06-21 22:28:42 +00:00
|
|
|
this._clipX = 0;
|
|
|
|
this._clipY = 0;
|
|
|
|
this._clipWidth = 0;
|
|
|
|
this._clipHeight = 0;
|
2010-02-10 06:00:02 +00:00
|
|
|
this._spacing = 0;
|
2010-11-12 09:28:28 +00:00
|
|
|
this._animating = false; // tweening
|
2011-01-21 18:47:54 +00:00
|
|
|
this._scrolling = false; // swipe-scrolling
|
2010-11-12 09:28:28 +00:00
|
|
|
this._animatingScroll = false; // programatically updating the adjustment
|
2011-01-31 01:35:58 +00:00
|
|
|
this._zoomOut = false; // zoom to a larger area
|
2010-11-12 09:28:28 +00:00
|
|
|
this._inDrag = false; // dragging a window
|
2010-01-22 02:33:48 +00:00
|
|
|
|
2011-11-25 14:44:17 +00:00
|
|
|
this._settings = new Gio.Settings({ schema: OVERRIDE_SCHEMA });
|
|
|
|
this._updateExtraWorkspacesId =
|
|
|
|
this._settings.connect('changed::workspaces-only-on-primary',
|
|
|
|
Lang.bind(this, this._updateExtraWorkspaces));
|
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
2010-02-14 23:32:57 +00:00
|
|
|
this._workspaces = workspaces;
|
2010-01-22 02:33:48 +00:00
|
|
|
|
2010-02-14 23:32:57 +00:00
|
|
|
// Add workspace actors
|
2010-11-15 20:58:27 +00:00
|
|
|
for (let w = 0; w < global.screen.n_workspaces; w++)
|
2012-12-16 23:45:43 +00:00
|
|
|
this.actor.add_actor(this._workspaces[w].actor);
|
2010-01-22 02:33:48 +00:00
|
|
|
this._workspaces[activeWorkspaceIndex].actor.raise_top();
|
|
|
|
|
2012-03-30 18:31:25 +00:00
|
|
|
this._extraWorkspaces = [];
|
2011-11-25 14:44:17 +00:00
|
|
|
this._updateExtraWorkspaces();
|
2011-03-03 21:33:27 +00:00
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
// 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++)
|
2010-02-14 23:32:57 +00:00
|
|
|
this._workspaces[w].zoomToOverview();
|
2011-03-03 21:33:27 +00:00
|
|
|
for (let w = 0; w < this._extraWorkspaces.length; w++)
|
|
|
|
this._extraWorkspaces[w].zoomToOverview();
|
2010-01-22 02:33:48 +00:00
|
|
|
}));
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
this._overviewShownId =
|
|
|
|
Main.overview.connect('shown',
|
|
|
|
Lang.bind(this, function() {
|
workspaces-view: Handle clip rectangle separately
After completing the overview transition, the workspace view is
clipped to avoid overlapping the search entry/view selector titles
while switching workspaces. For clipping, the view's position and
size was used, which works well assuming that the workspace pager
will start hidden or stay zoomed out while the overview is visible.
However, that assumption holds no longer true, as auto-hiding the
pager now depends on the number of workspaces, and thus may change
while in the overview. For instance, when starting with the pager
being visible, the clip area ends up being too small when moving
all windows to the first workspace (and thus triggering auto-hide).
As a fix, handle the clip rectangle separately from the view's
geometry, and set it always to the area the workspaces would
occupy with the pager hidden.
https://bugzilla.gnome.org/show_bug.cgi?id=653142
2011-06-21 22:28:42 +00:00
|
|
|
this.actor.set_clip(this._clipX, this._clipY,
|
|
|
|
this._clipWidth, this._clipHeight);
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
}));
|
2010-01-22 02:33:48 +00:00
|
|
|
|
2011-11-28 16:51:53 +00:00
|
|
|
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));
|
2010-11-12 09:28:28 +00:00
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
this._switchWorkspaceNotifyId =
|
|
|
|
global.window_manager.connect('switch-workspace',
|
|
|
|
Lang.bind(this, this._activeWorkspaceChanged));
|
2010-11-12 09:28:28 +00:00
|
|
|
|
|
|
|
this._itemDragBeginId = Main.overview.connect('item-drag-begin',
|
|
|
|
Lang.bind(this, this._dragBegin));
|
|
|
|
this._itemDragEndId = Main.overview.connect('item-drag-end',
|
|
|
|
Lang.bind(this, this._dragEnd));
|
2010-11-15 20:58:27 +00:00
|
|
|
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));
|
2010-01-22 02:33:48 +00:00
|
|
|
},
|
|
|
|
|
2011-11-25 14:44:17 +00:00
|
|
|
_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);
|
2012-12-10 20:39:15 +00:00
|
|
|
ws.setGeometry(monitors[i].x,
|
|
|
|
monitors[i].y,
|
|
|
|
monitors[i].width,
|
|
|
|
monitors[i].height);
|
2011-11-25 14:44:17 +00:00
|
|
|
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();
|
2012-03-30 18:31:25 +00:00
|
|
|
this._extraWorkspaces = [];
|
2011-11-25 14:44:17 +00:00
|
|
|
},
|
|
|
|
|
2012-08-09 15:38:36 +00:00
|
|
|
setGeometry: function(x, y, width, height) {
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
if (this._x == x && this._y == y &&
|
|
|
|
this._width == width && this._height == height)
|
|
|
|
return;
|
2012-08-09 15:38:36 +00:00
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
this._width = width;
|
|
|
|
this._height = height;
|
|
|
|
this._x = x;
|
|
|
|
this._y = y;
|
2011-02-10 22:15:36 +00:00
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
|
|
this._workspaces[i].setGeometry(x, y, width, height);
|
2011-02-10 22:15:36 +00:00
|
|
|
},
|
|
|
|
|
workspaces-view: Handle clip rectangle separately
After completing the overview transition, the workspace view is
clipped to avoid overlapping the search entry/view selector titles
while switching workspaces. For clipping, the view's position and
size was used, which works well assuming that the workspace pager
will start hidden or stay zoomed out while the overview is visible.
However, that assumption holds no longer true, as auto-hiding the
pager now depends on the number of workspaces, and thus may change
while in the overview. For instance, when starting with the pager
being visible, the clip area ends up being too small when moving
all windows to the first workspace (and thus triggering auto-hide).
As a fix, handle the clip rectangle separately from the view's
geometry, and set it always to the area the workspaces would
occupy with the pager hidden.
https://bugzilla.gnome.org/show_bug.cgi?id=653142
2011-06-21 22:28:42 +00:00
|
|
|
setClipRect: function(x, y, width, height) {
|
|
|
|
this._clipX = x;
|
|
|
|
this._clipY = y;
|
|
|
|
this._clipWidth = width;
|
|
|
|
this._clipHeight = height;
|
|
|
|
},
|
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
_lookupWorkspaceForMetaWindow: function (metaWindow) {
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
|
|
|
if (this._workspaces[i].containsMetaWindow(metaWindow))
|
|
|
|
return this._workspaces[i];
|
|
|
|
}
|
|
|
|
return null;
|
|
|
|
},
|
|
|
|
|
2010-07-15 14:21:32 +00:00
|
|
|
getActiveWorkspace: function() {
|
|
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
return this._workspaces[active];
|
|
|
|
},
|
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
hide: function() {
|
|
|
|
let activeWorkspaceIndex = global.screen.get_active_workspace_index();
|
|
|
|
let activeWorkspace = this._workspaces[activeWorkspaceIndex];
|
|
|
|
|
|
|
|
activeWorkspace.actor.raise_top();
|
|
|
|
|
2012-07-19 00:21:58 +00:00
|
|
|
this.actor.remove_clip();
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
|
2010-01-22 02:33:48 +00:00
|
|
|
for (let w = 0; w < this._workspaces.length; w++)
|
|
|
|
this._workspaces[w].zoomFromOverview();
|
2011-03-03 21:33:27 +00:00
|
|
|
for (let w = 0; w < this._extraWorkspaces.length; w++)
|
|
|
|
this._extraWorkspaces[w].zoomFromOverview();
|
2010-01-22 02:33:48 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
destroy: function() {
|
2010-02-18 15:43:58 +00:00
|
|
|
this.actor.destroy();
|
|
|
|
},
|
|
|
|
|
2011-01-31 01:44:05 +00:00
|
|
|
syncStacking: function(stackIndices) {
|
2010-01-22 02:33:48 +00:00
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
|
|
this._workspaces[i].syncStacking(stackIndices);
|
2011-03-03 21:33:27 +00:00
|
|
|
for (let i = 0; i < this._extraWorkspaces.length; i++)
|
|
|
|
this._extraWorkspaces[i].syncStacking(stackIndices);
|
2010-01-22 02:33:48 +00:00
|
|
|
},
|
|
|
|
|
2012-11-26 04:54:11 +00:00
|
|
|
_scrollToActive: function() {
|
2010-02-10 05:56:36 +00:00
|
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
|
2012-11-26 04:54:11 +00:00
|
|
|
this._updateWorkspaceActors(true);
|
|
|
|
this._updateScrollAdjustment(active);
|
2010-02-10 05:56:36 +00:00
|
|
|
},
|
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
// Update workspace actors parameters
|
2010-03-22 23:01:44 +00:00
|
|
|
// @showAnimation: iff %true, transition between states
|
2010-03-16 15:51:24 +00:00
|
|
|
_updateWorkspaceActors: function(showAnimation) {
|
2010-02-10 05:56:36 +00:00
|
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
|
2010-03-22 23:01:44 +00:00
|
|
|
this._animating = showAnimation;
|
|
|
|
|
2010-02-10 05:56:36 +00:00
|
|
|
for (let w = 0; w < this._workspaces.length; w++) {
|
|
|
|
let workspace = this._workspaces[w];
|
|
|
|
|
2010-03-22 23:01:44 +00:00
|
|
|
Tweener.removeTweens(workspace.actor);
|
|
|
|
|
2012-08-09 15:38:36 +00:00
|
|
|
let y = (w - active) * (this._height + this._spacing);
|
2010-02-10 05:56:36 +00:00
|
|
|
|
|
|
|
if (showAnimation) {
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
let params = { y: y,
|
2010-10-04 18:04:23 +00:00
|
|
|
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);
|
2010-01-22 02:33:48 +00:00
|
|
|
} else {
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
workspace.actor.set_position(0, y);
|
2010-10-04 18:04:23 +00:00
|
|
|
if (w == 0)
|
|
|
|
this._updateVisibility();
|
2010-01-22 02:33:48 +00:00
|
|
|
}
|
2010-03-16 15:51:24 +00:00
|
|
|
}
|
2010-03-22 23:01:44 +00:00
|
|
|
},
|
2010-02-11 14:52:49 +00:00
|
|
|
|
2010-03-22 23:01:44 +00:00
|
|
|
_updateVisibility: function() {
|
|
|
|
let active = global.screen.get_active_workspace_index();
|
2010-02-11 14:52:49 +00:00
|
|
|
|
2010-03-22 23:01:44 +00:00
|
|
|
for (let w = 0; w < this._workspaces.length; w++) {
|
|
|
|
let workspace = this._workspaces[w];
|
|
|
|
if (this._animating || this._scrolling) {
|
|
|
|
workspace.actor.show();
|
2010-02-11 14:52:49 +00:00
|
|
|
} else {
|
2010-03-22 23:01:44 +00:00
|
|
|
if (this._inDrag)
|
|
|
|
workspace.actor.visible = (Math.abs(w - active) <= 1);
|
|
|
|
else
|
|
|
|
workspace.actor.visible = (w == active);
|
2010-02-11 14:52:49 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2012-11-26 04:54:11 +00:00
|
|
|
_updateScrollAdjustment: function(index) {
|
2010-07-11 12:41:17 +00:00
|
|
|
if (this._scrolling)
|
2010-02-10 05:56:36 +00:00
|
|
|
return;
|
|
|
|
|
|
|
|
this._animatingScroll = true;
|
|
|
|
|
2012-11-26 04:54:11 +00:00
|
|
|
Tweener.addTween(this.scrollAdjustment, {
|
|
|
|
value: index,
|
|
|
|
time: WORKSPACE_SWITCH_TIME,
|
|
|
|
transition: 'easeOutQuad',
|
|
|
|
onComplete: Lang.bind(this,
|
|
|
|
function() {
|
|
|
|
this._animatingScroll = false;
|
|
|
|
})
|
|
|
|
});
|
2010-02-10 05:56:36 +00:00
|
|
|
},
|
|
|
|
|
2011-06-01 02:23:12 +00:00
|
|
|
updateWorkspaces: function(oldNumWorkspaces, newNumWorkspaces) {
|
2010-05-19 17:26:41 +00:00
|
|
|
let active = global.screen.get_active_workspace_index();
|
2010-01-22 02:33:48 +00:00
|
|
|
|
2011-11-28 16:51:53 +00:00
|
|
|
Tweener.addTween(this.scrollAdjustment,
|
2010-07-11 12:41:17 +00:00
|
|
|
{ upper: newNumWorkspaces,
|
|
|
|
time: WORKSPACE_SWITCH_TIME,
|
|
|
|
transition: 'easeOutQuad'
|
|
|
|
});
|
2010-01-22 02:33:48 +00:00
|
|
|
|
|
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
2011-06-01 12:47:51 +00:00
|
|
|
for (let w = oldNumWorkspaces; w < newNumWorkspaces; w++) {
|
|
|
|
this._workspaces[w].setGeometry(this._x, this._y,
|
|
|
|
this._width, this._height);
|
2010-03-22 00:39:49 +00:00
|
|
|
this.actor.add_actor(this._workspaces[w].actor);
|
2011-06-01 12:47:51 +00:00
|
|
|
}
|
2010-02-14 23:32:57 +00:00
|
|
|
|
2010-03-22 23:01:44 +00:00
|
|
|
this._updateWorkspaceActors(false);
|
2010-01-22 02:33:48 +00:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
_activeWorkspaceChanged: function(wm, from, to, direction) {
|
2010-02-10 05:56:36 +00:00
|
|
|
if (this._scrolling)
|
|
|
|
return;
|
|
|
|
|
2012-11-26 04:54:11 +00:00
|
|
|
this._scrollToActive();
|
2010-01-22 02:33:48 +00:00
|
|
|
},
|
|
|
|
|
2010-03-16 15:51:24 +00:00
|
|
|
_onDestroy: function() {
|
2011-11-25 14:44:17 +00:00
|
|
|
this._destroyExtraWorkspaces();
|
2011-11-28 16:51:53 +00:00
|
|
|
this.scrollAdjustment.run_dispose();
|
2010-11-12 09:28:28 +00:00
|
|
|
Main.overview.disconnect(this._overviewShowingId);
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
Main.overview.disconnect(this._overviewShownId);
|
2010-11-12 09:28:28 +00:00
|
|
|
global.window_manager.disconnect(this._switchWorkspaceNotifyId);
|
2011-11-25 14:44:17 +00:00
|
|
|
this._settings.disconnect(this._updateExtraWorkspacesId);
|
2010-11-12 09:28:28 +00:00
|
|
|
|
2011-03-13 18:34:47 +00:00
|
|
|
if (this._inDrag)
|
|
|
|
this._dragEnd();
|
|
|
|
|
2010-05-08 14:06:28 +00:00
|
|
|
if (this._itemDragBeginId > 0) {
|
|
|
|
Main.overview.disconnect(this._itemDragBeginId);
|
|
|
|
this._itemDragBeginId = 0;
|
|
|
|
}
|
|
|
|
if (this._itemDragEndId > 0) {
|
|
|
|
Main.overview.disconnect(this._itemDragEndId);
|
|
|
|
this._itemDragEndId = 0;
|
|
|
|
}
|
2010-11-15 20:58:27 +00:00
|
|
|
if (this._windowDragBeginId > 0) {
|
|
|
|
Main.overview.disconnect(this._windowDragBeginId);
|
|
|
|
this._windowDragBeginId = 0;
|
|
|
|
}
|
|
|
|
if (this._windowDragEndId > 0) {
|
|
|
|
Main.overview.disconnect(this._windowDragEndId);
|
|
|
|
this._windowDragEndId = 0;
|
2010-03-22 19:52:50 +00:00
|
|
|
}
|
2010-03-16 15:51:24 +00:00
|
|
|
},
|
|
|
|
|
2010-05-08 14:06:28 +00:00
|
|
|
_dragBegin: function() {
|
2010-07-11 12:41:17 +00:00
|
|
|
if (this._scrolling)
|
2010-03-16 15:51:24 +00:00
|
|
|
return;
|
|
|
|
|
|
|
|
this._inDrag = true;
|
2011-03-04 14:49:13 +00:00
|
|
|
this._firstDragMotion = true;
|
2010-03-16 15:51:24 +00:00
|
|
|
|
2010-06-06 15:24:51 +00:00
|
|
|
this._dragMonitor = {
|
|
|
|
dragMotion: Lang.bind(this, this._onDragMotion)
|
|
|
|
};
|
|
|
|
DND.addDragMonitor(this._dragMonitor);
|
2010-03-16 15:51:24 +00:00
|
|
|
},
|
|
|
|
|
2010-06-06 15:24:51 +00:00
|
|
|
_onDragMotion: function(dragEvent) {
|
2011-01-05 14:47:27 +00:00
|
|
|
if (Main.overview.animationInProgress)
|
|
|
|
return DND.DragMotionResult.CONTINUE;
|
|
|
|
|
2011-03-04 14:49:13 +00:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
2011-10-03 23:27:07 +00:00
|
|
|
return DND.DragMotionResult.CONTINUE;
|
2010-03-16 15:51:24 +00:00
|
|
|
},
|
|
|
|
|
2010-05-08 14:06:28 +00:00
|
|
|
_dragEnd: function() {
|
2011-06-27 16:59:56 +00:00
|
|
|
DND.removeDragMonitor(this._dragMonitor);
|
2010-03-16 15:51:24 +00:00
|
|
|
this._inDrag = false;
|
|
|
|
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
|
|
this._workspaces[i].setReservedSlot(null);
|
2011-03-04 14:49:13 +00:00
|
|
|
for (let i = 0; i < this._extraWorkspaces.length; i++)
|
|
|
|
this._extraWorkspaces[i].setReservedSlot(null);
|
2010-03-16 15:51:24 +00:00
|
|
|
},
|
|
|
|
|
2011-11-28 16:51:53 +00:00
|
|
|
startSwipeScroll: function() {
|
2011-01-21 18:47:54 +00:00
|
|
|
this._scrolling = true;
|
|
|
|
},
|
|
|
|
|
2012-11-26 04:40:48 +00:00
|
|
|
endSwipeScroll: function() {
|
2011-01-21 18:47:54 +00:00
|
|
|
this._scrolling = false;
|
|
|
|
|
|
|
|
// Make sure title captions etc are shown as necessary
|
2012-11-26 04:40:48 +00:00
|
|
|
this._scrollToActive();
|
2011-01-21 18:47:54 +00:00
|
|
|
this._updateVisibility();
|
|
|
|
},
|
|
|
|
|
2010-07-11 12:41:17 +00:00
|
|
|
// sync the workspaces' positions to the value of the scroll adjustment
|
2010-02-10 05:56:36 +00:00
|
|
|
// 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) {
|
2010-02-14 23:32:57 +00:00
|
|
|
let metaWorkspace = this._workspaces[current].metaWorkspace;
|
2010-07-11 12:41:17 +00:00
|
|
|
metaWorkspace.activate(global.get_current_time());
|
2010-02-10 05:56:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
let last = this._workspaces.length - 1;
|
2011-01-30 23:21:31 +00:00
|
|
|
let firstWorkspaceY = this._workspaces[0].actor.y;
|
|
|
|
let lastWorkspaceY = this._workspaces[last].actor.y;
|
|
|
|
let workspacesHeight = lastWorkspaceY - firstWorkspaceY;
|
2010-02-10 05:56:36 +00:00
|
|
|
|
|
|
|
if (adj.upper == 1)
|
|
|
|
return;
|
|
|
|
|
2011-01-30 23:21:31 +00:00
|
|
|
let currentY = firstWorkspaceY;
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
let newY = - adj.value / (adj.upper - 1) * workspacesHeight;
|
2010-02-10 05:56:36 +00:00
|
|
|
|
2011-01-30 23:21:31 +00:00
|
|
|
let dy = newY - currentY;
|
2010-02-10 05:56:36 +00:00
|
|
|
|
|
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
2010-03-16 15:51:24 +00:00
|
|
|
this._workspaces[i].actor.visible = Math.abs(i - adj.value) <= 1;
|
2011-01-30 23:21:31 +00:00
|
|
|
this._workspaces[i].actor.y += dy;
|
2010-02-10 05:56:36 +00:00
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2010-10-04 14:42:11 +00:00
|
|
|
_getWorkspaceIndexToRemove: function() {
|
|
|
|
return global.screen.get_active_workspace_index();
|
|
|
|
}
|
2011-11-20 17:56:27 +00:00
|
|
|
});
|
2010-10-04 14:42:11 +00:00
|
|
|
Signals.addSignalMethods(WorkspacesView.prototype);
|
|
|
|
|
|
|
|
|
2011-11-20 17:56:27 +00:00
|
|
|
const WorkspacesDisplay = new Lang.Class({
|
|
|
|
Name: 'WorkspacesDisplay',
|
2010-02-14 23:32:57 +00:00
|
|
|
|
2010-07-29 07:55:08 +00:00
|
|
|
_init: function() {
|
2012-12-11 22:26:09 +00:00
|
|
|
this.actor = new St.Widget({ clip_to_allocation: true });
|
|
|
|
this.actor.connect('notify::allocation', Lang.bind(this, this._updateWorkspacesGeometry));
|
2011-11-25 23:02:13 +00:00
|
|
|
this.actor.connect('parent-set', Lang.bind(this, this._parentSet));
|
2012-12-13 19:19:44 +00:00
|
|
|
|
2012-12-01 00:37:28 +00:00
|
|
|
let clickAction = new Clutter.ClickAction()
|
|
|
|
clickAction.connect('clicked', Lang.bind(this, function(action) {
|
|
|
|
// 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.
|
|
|
|
if (action.get_button() == 1 &&
|
|
|
|
this._getPrimaryView().getActiveWorkspace().isEmpty())
|
|
|
|
Main.overview.hide();
|
|
|
|
}));
|
|
|
|
Main.overview.addAction(clickAction);
|
|
|
|
this.actor.bind_property('mapped', clickAction, 'enabled', GObject.BindingFlags.SYNC_CREATE);
|
|
|
|
|
|
|
|
let panAction = new Clutter.PanAction();
|
|
|
|
panAction.connect('pan', Lang.bind(this, this._onPan));
|
|
|
|
panAction.connect('gesture-begin', Lang.bind(this, function() {
|
2012-11-26 04:40:48 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].startSwipeScroll();
|
|
|
|
return true;
|
|
|
|
}));
|
2012-12-01 00:37:28 +00:00
|
|
|
panAction.connect('gesture-end', Lang.bind(this, function() {
|
|
|
|
clickAction.release();
|
2012-11-26 04:40:48 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].endSwipeScroll();
|
|
|
|
}));
|
2012-12-01 00:37:28 +00:00
|
|
|
Main.overview.addAction(panAction);
|
|
|
|
this.actor.bind_property('mapped', panAction, 'enabled', GObject.BindingFlags.SYNC_CREATE);
|
2010-10-04 14:42:11 +00:00
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
this._primaryIndex = Main.layoutManager.primaryIndex;
|
2010-10-04 14:42:11 +00:00
|
|
|
|
2012-12-16 23:46:34 +00:00
|
|
|
this._workspacesViews = [];
|
|
|
|
this._workspaces = [];
|
2011-11-28 16:51:53 +00:00
|
|
|
this._primaryScrollAdjustment = null;
|
2011-11-25 17:25:31 +00:00
|
|
|
|
|
|
|
this._settings = new Gio.Settings({ schema: OVERRIDE_SCHEMA });
|
|
|
|
this._settings.connect('changed::workspaces-only-on-primary',
|
|
|
|
Lang.bind(this,
|
|
|
|
this._workspacesOnlyOnPrimaryChanged));
|
|
|
|
this._workspacesOnlyOnPrimaryChanged();
|
2011-01-31 01:35:58 +00:00
|
|
|
|
2012-03-28 13:25:33 +00:00
|
|
|
global.screen.connect('notify::n-workspaces',
|
|
|
|
Lang.bind(this, this._workspacesChanged));
|
|
|
|
|
2011-01-31 01:35:58 +00:00
|
|
|
this._switchWorkspaceNotifyId = 0;
|
|
|
|
|
2011-11-25 23:02:13 +00:00
|
|
|
this._notifyOpacityId = 0;
|
2011-11-28 16:51:53 +00:00
|
|
|
this._swipeScrollBeginId = 0;
|
|
|
|
this._swipeScrollEndId = 0;
|
2012-10-19 11:55:18 +00:00
|
|
|
},
|
|
|
|
|
2012-11-26 04:40:48 +00:00
|
|
|
_onPan: function(action) {
|
|
|
|
let [dist, dx, dy] = action.get_motion_delta(0);
|
|
|
|
let adjustment = this._scrollAdjustment;
|
|
|
|
adjustment.value -= (dy / this.actor.height) * adjustment.page_size;
|
|
|
|
return false;
|
|
|
|
},
|
|
|
|
|
2011-09-01 20:09:46 +00:00
|
|
|
show: function() {
|
2011-11-25 17:25:31 +00:00
|
|
|
this._updateWorkspacesViews();
|
2010-02-14 23:32:57 +00:00
|
|
|
|
2011-01-31 01:44:05 +00:00
|
|
|
this._restackedNotifyId =
|
2012-12-13 16:00:30 +00:00
|
|
|
Main.overview.connect('windows-restacked',
|
2011-01-31 01:44:05 +00:00
|
|
|
Lang.bind(this, this._onRestacked));
|
2010-10-04 14:42:11 +00:00
|
|
|
},
|
|
|
|
|
2011-11-25 23:02:13 +00:00
|
|
|
zoomFromOverview: function() {
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++) {
|
|
|
|
this._workspacesViews[i].hide();
|
|
|
|
}
|
2011-11-25 23:02:13 +00:00
|
|
|
},
|
|
|
|
|
2010-10-04 14:42:11 +00:00
|
|
|
hide: function() {
|
2011-01-31 01:44:05 +00:00
|
|
|
if (this._restackedNotifyId > 0){
|
2012-12-13 16:00:30 +00:00
|
|
|
Main.overview.disconnect(this._restackedNotifyId);
|
2011-01-31 01:44:05 +00:00
|
|
|
this._restackedNotifyId = 0;
|
|
|
|
}
|
2011-01-31 01:35:58 +00:00
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].destroy();
|
2012-12-16 23:46:34 +00:00
|
|
|
this._workspacesViews = [];
|
2011-11-25 17:25:31 +00:00
|
|
|
|
|
|
|
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();
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
|
|
|
_workspacesOnlyOnPrimaryChanged: function() {
|
|
|
|
this._workspacesOnlyOnPrimary = this._settings.get_boolean('workspaces-only-on-primary');
|
|
|
|
|
|
|
|
if (!Main.overview.visible)
|
|
|
|
return;
|
|
|
|
|
|
|
|
this._updateWorkspacesViews();
|
|
|
|
},
|
|
|
|
|
|
|
|
_updateWorkspacesViews: function() {
|
2012-12-16 23:46:34 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].destroy();
|
2011-11-25 17:25:31 +00:00
|
|
|
|
2012-12-16 23:46:34 +00:00
|
|
|
for (let i = 0; i < this._workspaces.length; i++)
|
|
|
|
for (let w = 0; w < this._workspaces[i].length; w++)
|
|
|
|
this._workspaces[i][w].destroy();
|
2011-11-25 17:25:31 +00:00
|
|
|
|
|
|
|
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);
|
2011-11-28 16:51:53 +00:00
|
|
|
|
|
|
|
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._workspacesViews.push(view);
|
2010-10-04 14:42:11 +00:00
|
|
|
}
|
2011-11-25 17:25:31 +00:00
|
|
|
|
|
|
|
this._updateWorkspacesGeometry();
|
|
|
|
|
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
global.overlay_group.add_actor(this._workspacesViews[i].actor);
|
|
|
|
},
|
|
|
|
|
2011-11-28 16:51:53 +00:00
|
|
|
_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;
|
|
|
|
}
|
|
|
|
},
|
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
_getPrimaryView: function() {
|
2012-12-16 23:46:34 +00:00
|
|
|
if (!this._workspacesViews.length)
|
2011-11-25 17:25:31 +00:00
|
|
|
return null;
|
|
|
|
if (this._workspacesOnlyOnPrimary)
|
|
|
|
return this._workspacesViews[0];
|
|
|
|
else
|
|
|
|
return this._workspacesViews[this._primaryIndex];
|
2010-02-14 23:32:57 +00:00
|
|
|
},
|
|
|
|
|
2011-11-25 23:02:13 +00:00
|
|
|
activeWorkspaceHasMaximizedWindows: function() {
|
2011-11-25 17:25:31 +00:00
|
|
|
return this._getPrimaryView().getActiveWorkspace().hasMaximizedWindows();
|
2011-11-25 23:02:13 +00:00
|
|
|
},
|
|
|
|
|
|
|
|
_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;
|
2011-11-25 17:25:31 +00:00
|
|
|
let primaryView = this._getPrimaryView();
|
|
|
|
if (!primaryView)
|
|
|
|
return;
|
|
|
|
primaryView.actor.opacity = opacity;
|
2012-03-16 22:53:14 +00:00
|
|
|
primaryView.actor.visible = opacity != 0;
|
2011-11-25 23:02:13 +00:00
|
|
|
}));
|
|
|
|
}));
|
|
|
|
},
|
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
_updateWorkspacesGeometry: function() {
|
2012-12-16 23:46:34 +00:00
|
|
|
if (!this._workspacesViews.length)
|
2011-02-10 22:15:36 +00:00
|
|
|
return;
|
|
|
|
|
2011-03-12 00:03:20 +00:00
|
|
|
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;
|
2011-02-10 22:15:36 +00:00
|
|
|
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
let [x, y] = this.actor.get_transformed_position();
|
|
|
|
|
2012-02-14 01:37:28 +00:00
|
|
|
let rtl = (Clutter.get_default_text_direction () == Clutter.TextDirection.RTL);
|
Restructure the way we handle positioning zooming in Workspace
We currently show the workspace in the overview in a rectangle
with the same aspect ratio as the screen. Originally this was
probably done since it showed the desktop, but we don't do this
anymore, and the positioning of the windows in the overview is
strictly a grid, so its not in any way related to monitor geometry.
Additionally, in the multihead case the screen aspect ratio is
very different from the overview monitor geometry, so a lot of
space is lost.
So, instead we just fill the entire inner rectangle of the overview
with the workspace. However, the way the zoom into and out of the
workspace right now is by scaling the workspace so that it covers
the entire monitor. This cannot really work anymore when the workspace
is a different aspect ratio. Furthermore the coordinates of the
window clone actors are of two very different types in the "original
window" case and the "window in a slot case". One is screen relative,
the other is workspace relative. This makes it very hard to compute
the cost of window motion distance in computeWindowMotion.
In order to handle this we change the way workspace actor positioning
and scaling work. All workspace window clone actors are stored in
true screen coordingates, both the original window positions and the
in-a-slot ones. Global scaling of the workspace is never done, we
just reposition everything in both the initial zoom and when the
controls appear from the side.
There is one issue in the initial and final animations, which is that
the clip region we normally have for the workspacesView will limit the
animation of the clones to/from the original positions, so we disable
the clip region during these animations.
https://bugzilla.gnome.org/show_bug.cgi?id=643786
2011-03-02 16:04:03 +00:00
|
|
|
|
2012-12-11 22:26:09 +00:00
|
|
|
let clipWidth = width;
|
2012-08-09 15:38:36 +00:00
|
|
|
let clipHeight = fullHeight;
|
2012-12-11 22:26:09 +00:00
|
|
|
let clipX = x;
|
workspaces-view: Handle clip rectangle separately
After completing the overview transition, the workspace view is
clipped to avoid overlapping the search entry/view selector titles
while switching workspaces. For clipping, the view's position and
size was used, which works well assuming that the workspace pager
will start hidden or stay zoomed out while the overview is visible.
However, that assumption holds no longer true, as auto-hiding the
pager now depends on the number of workspaces, and thus may change
while in the overview. For instance, when starting with the pager
being visible, the clip area ends up being too small when moving
all windows to the first workspace (and thus triggering auto-hide).
As a fix, handle the clip rectangle separately from the view's
geometry, and set it always to the area the workspaces would
occupy with the pager hidden.
https://bugzilla.gnome.org/show_bug.cgi?id=653142
2011-06-21 22:28:42 +00:00
|
|
|
let clipY = y + (fullHeight - clipHeight) / 2;
|
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
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);
|
2012-08-09 15:38:36 +00:00
|
|
|
this._workspacesViews[m].setGeometry(x, y, width, height);
|
2011-11-25 17:25:31 +00:00
|
|
|
m++;
|
|
|
|
} else if (!this._workspacesOnlyOnPrimary) {
|
|
|
|
this._workspacesViews[m].setClipRect(monitors[i].x,
|
|
|
|
monitors[i].y,
|
|
|
|
monitors[i].width,
|
|
|
|
monitors[i].height);
|
2012-12-10 20:39:15 +00:00
|
|
|
this._workspacesViews[m].setGeometry(monitors[i].x,
|
|
|
|
monitors[i].y,
|
|
|
|
monitors[i].width,
|
|
|
|
monitors[i].height);
|
2011-11-25 17:25:31 +00:00
|
|
|
m++;
|
|
|
|
}
|
|
|
|
}
|
2011-01-31 03:54:05 +00:00
|
|
|
},
|
|
|
|
|
2012-12-13 16:00:30 +00:00
|
|
|
_onRestacked: function(overview, stackIndices) {
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].syncStacking(stackIndices);
|
2011-01-31 01:44:05 +00:00
|
|
|
},
|
|
|
|
|
2010-02-14 23:32:57 +00:00
|
|
|
_workspacesChanged: function() {
|
2012-12-16 23:46:34 +00:00
|
|
|
if (!this._workspacesViews.length)
|
2011-06-21 20:02:32 +00:00
|
|
|
return;
|
|
|
|
|
2012-03-28 13:25:33 +00:00
|
|
|
let oldNumWorkspaces = this._workspaces[0].length;
|
|
|
|
let newNumWorkspaces = global.screen.n_workspaces;
|
|
|
|
let active = global.screen.get_active_workspace_index();
|
|
|
|
|
2010-02-14 23:32:57 +00:00
|
|
|
let lostWorkspaces = [];
|
|
|
|
if (newNumWorkspaces > oldNumWorkspaces) {
|
2011-11-25 17:25:31 +00:00
|
|
|
let monitors = Main.layoutManager.monitors;
|
|
|
|
let m = 0;
|
|
|
|
for (let i = 0; i < monitors.length; i++) {
|
2012-10-19 18:03:05 +00:00
|
|
|
if (this._workspacesOnlyOnPrimary &&
|
2011-11-25 17:25:31 +00:00
|
|
|
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);
|
2012-10-19 17:58:05 +00:00
|
|
|
this._workspaces[m][w] =
|
2011-11-25 17:25:31 +00:00
|
|
|
new Workspace.Workspace(metaWorkspace, i);
|
|
|
|
}
|
2012-10-19 17:58:05 +00:00
|
|
|
m++;
|
2010-02-14 23:32:57 +00: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 metaWorkspace = global.screen.get_workspace_by_index(w);
|
2011-11-25 17:25:31 +00:00
|
|
|
if (this._workspaces[0][w].metaWorkspace != metaWorkspace) {
|
2010-02-14 23:32:57 +00:00
|
|
|
removedIndex = w;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let i = 0; i < this._workspaces.length; i++) {
|
|
|
|
lostWorkspaces = this._workspaces[i].splice(removedIndex,
|
|
|
|
removedNum);
|
2010-02-14 23:32:57 +00:00
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let l = 0; l < lostWorkspaces.length; l++) {
|
|
|
|
lostWorkspaces[l].disconnectAll();
|
|
|
|
lostWorkspaces[l].destroy();
|
|
|
|
}
|
2011-06-01 02:23:12 +00:00
|
|
|
}
|
2010-02-14 23:32:57 +00:00
|
|
|
}
|
|
|
|
|
2011-11-25 17:25:31 +00:00
|
|
|
for (let i = 0; i < this._workspacesViews.length; i++)
|
|
|
|
this._workspacesViews[i].updateWorkspaces(oldNumWorkspaces,
|
|
|
|
newNumWorkspaces);
|
2010-02-14 23:32:57 +00:00
|
|
|
}
|
2011-11-20 17:56:27 +00:00
|
|
|
});
|
2010-10-04 14:42:11 +00:00
|
|
|
Signals.addSignalMethods(WorkspacesDisplay.prototype);
|