Persisted disabled list (for saving to settings).
()
| 268 | |
| 269 | /** Persisted disabled list (for saving to settings). */ |
| 270 | getDisabled(): string[] { |
| 271 | return [...this.disabled] |
| 272 | } |
| 273 | |
| 274 | /** All configured server names. */ |
| 275 | getServerNames(): string[] { |