gnome-shell/js/ui/workspaceSwitcherPopup.js

102 lines
2.8 KiB
JavaScript
Raw Normal View History

// -*- 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;
}
});