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

#26 new: ios home widget

Browse Source
This commit is contained in:
lollipopkit
2023-07-16 22:46:32 +08:00
parent 814e9c853a
commit 0ee55d4873
12 changed files with 683 additions and 99 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -45,22 +45,14 @@ class ServerProvider extends BusyProvider {
}
final serverOrder_ = _settingStore.serverOrder.fetch();
if (serverOrder_ != null) {
_serverOrder.addAll(serverOrder_.toSet());
if (_serverOrder.length != spis.length) {
final missed = spis
.where(
(e) => !_serverOrder.contains(e.id),
)
.map((e) => e.id);
_serverOrder.addAll(missed);
}
spis.reorder(
order: serverOrder_,
finder: (n, id) => n.id == id,
);
_serverOrder.addAll(spis.map((e) => e.id));
} else {
_serverOrder.addAll(_servers.keys);
}
final surplus = _serverOrder.where(
(e) => !_servers.containsKey(e),
);
_serverOrder.removeWhere((element) => surplus.contains(element));
_settingStore.serverOrder.put(_serverOrder);
_updateTags();
setBusyState(false);