()
| 163 | // Private functions used to sync favoriteNames with global state / workspace state |
| 164 | // Is used frequently when list of favorites is shared globally to sync between sessions |
| 165 | private pullFavoriteNames(){ |
| 166 | if(this.state){ |
| 167 | this.favoriteNames = this.state.get('r.helpPanel.favoriteNamesSet') || this.favoriteNames; |
| 168 | } |
| 169 | } |
| 170 | private pushFavoriteNames(){ |
| 171 | if(this.state){ |
| 172 | void this.state.update('r.helpPanel.favoriteNamesSet', this.favoriteNames); |
no test coverage detected