1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
/* exported WorkspaceSwitcherPopup */
const { Clutter, GLib, GObject, St } = imports.gi;
const Layout = imports.ui.layout;
const Main = imports.ui.main;
var ANIMATION_TIME = 100;
var DISPLAY_TIMEOUT = 600;
var WorkspaceSwitcherPopup = GObject.registerClass(
class WorkspaceSwitcherPopup extends Clutter.Actor {
_init() {
super._init({
offscreen_redirect: Clutter.OffscreenRedirect.ALWAYS,
x_expand: true,
y_expand: true,
x_align: Clutter.ActorAlign.CENTER,
y_align: Clutter.ActorAlign.END,
});
const constraint = new Layout.MonitorConstraint({ primary: true });
this.add_constraint(constraint);
Main.uiGroup.add_actor(this);
this._timeoutId = 0;
this._list = new St.BoxLayout({
style_class: 'workspace-switcher',
});
this.add_child(this._list);
this._redisplay();
this.hide();
let workspaceManager = global.workspace_manager;
workspaceManager.connectObject(
'workspace-added', this._redisplay.bind(this),
'workspace-removed', this._redisplay.bind(this), this);
this.connect('destroy', this._onDestroy.bind(this));
}
_redisplay() {
let workspaceManager = global.workspace_manager;
this._list.destroy_all_children();
for (let i = 0; i < workspaceManager.n_workspaces; i++) {
const indicator = new St.Bin({
style_class: 'ws-switcher-indicator',
});
if (i === this._activeWorkspaceIndex)
indicator.add_style_pseudo_class('active');
this._list.add_actor(indicator);
}
}
display(activeWorkspaceIndex) {
this._activeWorkspaceIndex = activeWorkspaceIndex;
this._redisplay();
if (this._timeoutId != 0)
GLib.source_remove(this._timeoutId);
this._timeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, DISPLAY_TIMEOUT, this._onTimeout.bind(this));
GLib.Source.set_name_by_id(this._timeoutId, '[gnome-shell] this._onTimeout');
const duration = this.visible ? 0 : ANIMATION_TIME;
this.show();
this.opacity = 0;
this.ease({
opacity: 255,
duration,
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
});
}
_onTimeout() {
GLib.source_remove(this._timeoutId);
this._timeoutId = 0;
this.ease({
opacity: 0.0,
duration: ANIMATION_TIME,
mode: Clutter.AnimationMode.EASE_OUT_QUAD,
onComplete: () => this.destroy(),
});
return GLib.SOURCE_REMOVE;
}
_onDestroy() {
if (this._timeoutId)
GLib.source_remove(this._timeoutId);
this._timeoutId = 0;
}
});
|
