Zac West 7631aa5110
Changeable local name for servers (#1945)
Changes the server name row into an editable one, persists along with the server and uses it everywhere. Basically identical to 'device name' in functionality there.

Also hides the 'activate' button if there's only one server.
2021-11-28 15:51:11 -08:00
..
2021-11-27 12:33:46 -08:00
2021-11-27 12:33:46 -08:00
2021-09-27 23:24:06 -07:00
2021-11-27 12:33:46 -08:00
2021-11-27 12:33:46 -08:00
2021-11-27 12:33:46 -08:00
2021-11-27 12:33:46 -08:00