* Returns the show-position-bar (workspace) setting. * @returns Boolean
()
| 1617 | * @returns Boolean |
| 1618 | */ |
| 1619 | _getShowPositionBar() { |
| 1620 | const value = Settings.prefs.show_window_position_bar; |
| 1621 | let userValue = true; |
| 1622 | try { |
| 1623 | userValue = this.settings.get_boolean('show-position-bar'); |
| 1624 | } catch (error) { |
| 1625 | |
| 1626 | } |
| 1627 | return value && userValue; |
| 1628 | } |
| 1629 | |
| 1630 | updateShowPositionBar() { |
| 1631 | this.showPositionBar = this._getShowPositionBar(); |
no outgoing calls
no test coverage detected