new: tag rename

This commit is contained in:
lollipopkit
2023-05-31 17:56:08 +08:00
parent d24fe5ff5d
commit 55a13799b2
11 changed files with 103 additions and 45 deletions

View File

@@ -77,6 +77,19 @@ class ServerProvider extends BusyProvider {
notifyListeners();
}
void renameTag(String old, String new_) {
for (final s in _servers.values) {
if (s.spi.tags == null) continue;
for (var i = 0; i < s.spi.tags!.length; i++) {
if (s.spi.tags![i] == old) {
s.spi.tags![i] = new_;
}
}
_serverStore.update(s.spi, s.spi);
}
_updateTags();
}
Server genServer(ServerPrivateInfo spi) {
return Server(spi, initStatus, null, ServerState.disconnected);
}