()
| 1646 | } |
| 1647 | |
| 1648 | updateColor() { |
| 1649 | let color = this.settings.get_string('color'); |
| 1650 | if (color === '') { |
| 1651 | let colors = Settings.prefs.workspace_colors; |
| 1652 | let index = this.index % Settings.prefs.workspace_colors.length; |
| 1653 | color = colors[index]; |
| 1654 | } |
| 1655 | this.color = color; |
| 1656 | this.border.set_style(` |
| 1657 | border: ${borderWidth}px ${this.color}; |
| 1658 | border-radius: ${borderWidth}px; |
| 1659 | `); |
| 1660 | } |
| 1661 | |
| 1662 | updateBackground() { |
| 1663 | if (!this.monitor) { |
no outgoing calls
no test coverage detected