mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-04 18:59:08 +01:00
fc0b1929ec
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 |
||
|---|---|---|
| .. | ||
| wshclient | ||
| wshremote | ||
| wshserver | ||
| wshrpcmeta.go | ||
| wshrpctypes.go | ||