dot/.local/share/gnome-shell/extensions/wsmatrix@martin.zurowietz.de/BaseWorkspaceSwitcherPopup.js

25 lines
819 B
JavaScript
Raw Normal View History

2020-05-11 09:16:27 +00:00
const { GLib, GObject} = imports.gi;
const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup.WorkspaceSwitcherPopup;
var BaseWorkspaceSwitcherPopup = GObject.registerClass(
class BaseWorkspaceSwitcherPopup extends WorkspaceSwitcherPopup {
_init(popupTimeout) {
super._init();
this._popupTimeout = popupTimeout;
}
display(direction, activeWorkspaceIndex) {
super.display(direction, activeWorkspaceIndex);
if (this._timeoutId !== 0) {
GLib.source_remove(this._timeoutId);
this._timeoutId = 0;
}
if (this._popupTimeout > 0) {
this._timeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT, this._popupTimeout, this._onTimeout.bind(this));
GLib.Source.set_name_by_id(this._timeoutId, '[gnome-shell] this._onTimeout');
}
}
});