mirror of
https://github.com/wavetermdev/waveterm
synced 2026-05-06 06:58:21 +00:00
Adds a list of potential remotes to add and filters it as you type. It also provides options for reconnecting on a disconnection and specifically connecting to a local connection |
||
|---|---|---|
| .. | ||
| custom.d.ts | ||
| gotypes.d.ts | ||