| 1777 | setSpaceTopbarElementsVisible(visible = false, options = {}) { |
| 1778 | const force = options?.force ?? false; |
| 1779 | const setVisible = v => { |
| 1780 | if (v) { |
| 1781 | this.updateSpaceIconPositions(); |
| 1782 | this.showWorkspaceIndicator(true, force); |
| 1783 | this.showFocusModeIcon(true, force); |
| 1784 | } |
| 1785 | else { |
| 1786 | this.showWorkspaceIndicator(false, force); |
| 1787 | this.showFocusModeIcon(false, force); |
| 1788 | } |
| 1789 | }; |
| 1790 | |
| 1791 | // if windowPositionBar is disabled ==> don't show elements |
| 1792 | if (!this.showPositionBar) { |
no test coverage detected