edgeoverlays: react to button release

This is good practice as it gives the user a way to «undo» the action by moving
the pointer away.
This commit is contained in:
Tor Hedin Brønner
2019-01-13 15:10:14 +01:00
parent 5d45f5f1aa
commit a76bf3f2c8

View File

@@ -173,15 +173,12 @@ var StackOverlay = new Lang.Class({
overlay.height = this.monitor.height - panelBox.height - prefs.vertical_margin;
overlay.width = Tiling.stack_margin;
this.pressId = overlay.connect('button-press-event', () => {
this.pressId = overlay.connect('button-release-event', () => {
Main.activateWindow(this.target);
if (this.clone)
this.clone.destroy();
return true;
});
this.releaseId = overlay.connect('button-release-event', () => {
return true;
});
this.enterId = overlay.connect('enter-event', () => {
if (this.clone)