([uuid, settings])
| 1537 | } |
| 1538 | |
| 1539 | setSettings([uuid, settings]) { |
| 1540 | this.signals.disconnect(this.settings); |
| 1541 | |
| 1542 | this.settings = settings; |
| 1543 | this.uuid = uuid; |
| 1544 | if (this.background) { |
| 1545 | this.updateColor(); |
| 1546 | this.updateBackground(); |
| 1547 | } |
| 1548 | this.updateName(); |
| 1549 | this.signals.connect(this.settings, 'changed::name', this.updateName.bind(this)); |
| 1550 | this.signals.connect(this.settings, 'changed::color', () => { |
| 1551 | this.updateColor(); |
| 1552 | this.updateBackground(); |
| 1553 | }); |
| 1554 | this.signals.connect(this.settings, 'changed::background', |
| 1555 | this.updateBackground.bind(this)); |
| 1556 | |
| 1557 | this.updateShowTopBar(); |
| 1558 | this.signals.connect(gsettings, 'changed::default-show-top-bar', |
| 1559 | this.showTopBarChanged.bind(this)); |
| 1560 | this.signals.connect(this.settings, 'changed::show-top-bar', () => { |
| 1561 | this.showTopBarChanged(); |
| 1562 | this.layout(false); |
| 1563 | }); |
| 1564 | |
| 1565 | this.updateShowPositionBar(); |
| 1566 | this.signals.connect(this.settings, 'changed::show-position-bar', () => { |
| 1567 | this.showPositionBarChanged(); |
| 1568 | this.layout(false); |
| 1569 | }); |
| 1570 | } |
| 1571 | |
| 1572 | /** |
| 1573 | * Returns the user show-top-bar setting if it exists, otherwise returns the |
no test coverage detected