(actor: MsWorkspaceActor)
| 440 | } |
| 441 | |
| 442 | setMsWorkspaceActor(actor: MsWorkspaceActor) { |
| 443 | if (actor === this.msWorkspaceActor) return; |
| 444 | if ( |
| 445 | this.msWorkspaceActor && |
| 446 | this.msWorkspaceActor.get_parent() === this |
| 447 | ) { |
| 448 | this.remove_child(this.msWorkspaceActor); |
| 449 | } |
| 450 | this.msWorkspaceActor = actor; |
| 451 | reparentActor(this.msWorkspaceActor, this); |
| 452 | this.msWorkspaceActor.updateUI(); |
| 453 | } |
| 454 | |
| 455 | updateSpacer() { |
| 456 | const panelHeight = Me.msThemeManager.getPanelSize(); |
no test coverage detected