| 3549 | * checking the height and resizing. |
| 3550 | */ |
| 3551 | const done = t => { |
| 3552 | const index = workspaceChangeTimeouts.indexOf(t); |
| 3553 | workspaceChangeTimeouts.splice(index, 1); |
| 3554 | // console.log(`num workspaceChangeTimeouts ${workspaceChangeTimeouts.length}`); |
| 3555 | }; |
| 3556 | signals.connect(metaWindow, 'workspace-changed', mw => { |
| 3557 | if (!isTiled(mw)) { |
| 3558 | return; |
no test coverage detected