fix: batch delete servers (#772)

This commit is contained in:
lollipopkit🏳️‍⚧️
2025-06-04 19:28:58 +08:00
committed by GitHub
parent f6d394c71e
commit 741a6442e0
3 changed files with 22 additions and 31 deletions

View File

@@ -7,6 +7,7 @@ import 'package:flutter_highlight/theme_map.dart';
import 'package:icons_plus/icons_plus.dart';
import 'package:server_box/core/extension/context/locale.dart';
import 'package:server_box/data/model/app/net_view.dart';
import 'package:server_box/data/provider/server.dart';
import 'package:server_box/data/res/build_data.dart';
import 'package:server_box/data/res/github_id.dart';
import 'package:server_box/data/res/store.dart';