* Removes the window position bar actor, and re-adds if needed.
()
| 1599 | * Removes the window position bar actor, and re-adds if needed. |
| 1600 | */ |
| 1601 | _removeAddPositionBar() { |
| 1602 | // remove window position bar actors |
| 1603 | Utils.actor_remove_child(this.actor, this.windowPositionBarBackdrop); |
| 1604 | Utils.actor_remove_child(this.actor, this.windowPositionBar); |
| 1605 | |
| 1606 | // adds them is should show for this space |
| 1607 | if (this._getShowPositionBar()) { |
| 1608 | // this.actor.add_child(this.windowPositionBarBackdrop); |
| 1609 | // this.actor.add_child(this.windowPositionBar); |
| 1610 | Utils.actor_add_child(this.actor, this.windowPositionBarBackdrop); |
| 1611 | Utils.actor_add_child(this.actor, this.windowPositionBar); |
| 1612 | } |
| 1613 | } |
| 1614 | |
| 1615 | /** |
| 1616 | * Returns the show-position-bar (workspace) setting. |
no test coverage detected