(monitor: Main.Monitor)
| 465 | } |
| 466 | |
| 467 | setMonitor(monitor: Main.Monitor) { |
| 468 | if (this.bgManager) { |
| 469 | this.bgManager.destroy(); |
| 470 | } |
| 471 | this.monitor = monitor; |
| 472 | this.set_size(monitor.width, monitor.height); |
| 473 | this.set_position(monitor.x, monitor.y); |
| 474 | this.updateSpacer(); |
| 475 | this.bgManager = new Background.BackgroundManager({ |
| 476 | container: this.bgGroup, |
| 477 | monitorIndex: monitor.index, |
| 478 | }); |
| 479 | } |
| 480 | |
| 481 | vfunc_allocate(box: Clutter.ActorBox) { |
| 482 | this.set_allocation(box); |
no test coverage detected