aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2025-12-17 15:24:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

opt.: redesigned settings page (#587)

Browse Source
This commit is contained in:
lollipopkit🏳️‍⚧️
2024-09-21 22:37:42 +08:00
committed by GitHub
parent d7669c94b8
commit c062c12a0e
21 changed files with 561 additions and 551 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
lib/data/provider/server.dart
View File

@@ -88,16 +88,15 @@ class ServerProvider extends Provider {
}
static void _updateTags() {
final tags = <String>{};
for (final s in servers.values) {
final tags = s.value.spi.tags;
if (tags == null) continue;
for (final t in tags) {
if (!_tags.value.contains(t)) {
_tags.value.add(t);
}
final spiTags = s.value.spi.tags;
if (spiTags == null) continue;
for (final t in spiTags) {
tags.add(t);
}
}
_tags.value = (_tags.value.toList()..sort()).toSet();
_tags.value = tags;
}
static Server genServer(Spi spi) {