(animate = true, options = {})
| 814 | } |
| 815 | |
| 816 | queueLayout(animate = true, options = {}) { |
| 817 | if (this._layoutQueued) |
| 818 | return; |
| 819 | this._layoutQueued = true; |
| 820 | |
| 821 | const laterType = options.laterType ?? Meta.LaterType.RESIZE; |
| 822 | Utils.later_add(laterType, () => { |
| 823 | this._layoutQueued = false; |
| 824 | this.layout(animate, options); |
| 825 | }); |
| 826 | } |
| 827 | |
| 828 | // Space.prototype.isVisible = function |
| 829 | isVisible(metaWindow, margin = 0) { |