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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
|
/* This extension is a derived work of the Gnome Shell.
*
* Copyright (c) 2013 Paolo Tranquilli
*
* This extension is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
*
* This extension is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this extension; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
*/
const CLOSE_BUTTON = 'close-button';
const REARRANGE_DELAY = 'rearrange-delay';
const St = imports.gi.St;
const Main = imports.ui.main;
const Workspace = imports.ui.workspace
const WindowPreview = imports.ui.windowPreview.WindowPreview
const Mainloop = imports.mainloop;
const ExtensionUtils = imports.misc.extensionUtils;
const Me = ExtensionUtils.getCurrentExtension();
var Init = class Init {
_connectSettings() {
this._settingsSignals = [];
this._settingsSignals.push(this._settings.connect('changed::'+CLOSE_BUTTON, this._setCloseButton.bind(this)));
this._settingsSignals.push(this._settings.connect('changed::'+REARRANGE_DELAY, this._setRearrangeDelay.bind(this)));
}
_disconnectSettings() {
while(this._settingsSignals.length > 0) {
this._settings.disconnect(this._settingsSignals.pop());
}
}
_setCloseButton() {
this._closeButton = this._settings.get_enum(CLOSE_BUTTON) + 1;
}
_setRearrangeDelay() {
this._rearrangeDelay = this._settings.get_int(REARRANGE_DELAY);
}
enable() {
this._oldActivate = WindowPreview.prototype._activate;
this._oldDoRemoveWindow = Workspace.Workspace.prototype._doRemoveWindow;
this._oldAddWindowClone = Workspace.Workspace.prototype._addWindowClone;
this._settings = ExtensionUtils.getSettings();
this._oldDelay = Workspace.WINDOW_REPOSITIONING_DELAY;
this._setCloseButton();
this._setRearrangeDelay();
// I'll go with a closure, not sure how to do it otherwise
let init = this;
// my handling logic
const onClicked = function(action, actor) {
this._selected = true;
if (action.get_button() == init._closeButton) {
this._deleteAll();
} else {
init._oldActivate.apply(this);
}
};
// override _addWindowClone to add my event handler
Workspace.Workspace.prototype._addWindowClone = function(metaWindow) {
let clone = init._oldAddWindowClone.apply(this, [metaWindow]);
clone.get_actions()[0].connect('clicked', onClicked.bind(clone));
return clone;
}
// override WindowClone's _activate
WindowPreview.prototype._activate = () => {};
// override Workspace's _doRemoveWindow in order to put into it the
// parameteriseable rearrangement delay. Rather than copy the code from
// workspace.js, we reuse it but remove the scheduled rearrangement task
// (as its 750ms delay is hard-coded...)
Workspace.WINDOW_REPOSITIONING_DELAY = Math.max(init._rearrangeDelay,1);
this._connectSettings();
}
disable() {
WindowPreview.prototype._activate = this._oldActivate;
Workspace.Workspace.prototype._doRemoveWindow = this._oldDoRemoveWindow;
Workspace.WINDOW_REPOSITIONING_DELAY = this._oldDelay;
Workspace.Workspace.prototype._addWindowClone = this._oldAddWindowClone;
this._disconnectSettings();
}
}
function init() {
ExtensionUtils.initTranslations();
}
let _init;
function enable() {
_init = new Init();
_init.enable();
}
function disable() {
_init?.disable();
_init = null;
}
|
