Skip to content
This repository has been archived by the owner on Jun 19, 2023. It is now read-only.

Commit

Permalink
Update proximity on workspace switch
Browse files Browse the repository at this point in the history
  • Loading branch information
charlesg99 committed Oct 15, 2018
1 parent 411829b commit 6743186
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions proximity.js
Original file line number Diff line number Diff line change
Expand Up @@ -121,6 +121,11 @@ var ProximityManager = new Lang.Class({
'restacked',
() => this._queueUpdate()
],
[
global.window_manager,
'switch-workspace',
() => Object.keys(this._watches).forEach(id => this._watches[id].overlap = 0)
],
[
global.display,
'notify::focus-window',
Expand Down Expand Up @@ -182,6 +187,7 @@ var ProximityManager = new Lang.Class({

_getHandledWindows: function() {
return global.get_window_actors()
.filter(w => w.visible)
.map(w => w.get_meta_window())
.filter(mw => this._checkIfHandledWindow(mw));
},
Expand Down

0 comments on commit 6743186

Please sign in to comment.