new: picker & opt. rm -r

This commit is contained in:
lollipopkit
2023-10-05 19:51:24 +08:00
parent ef144e27cb
commit a23a284d1a
28 changed files with 192 additions and 316 deletions

View File

@@ -127,13 +127,10 @@ class _SnippetListPageState extends State<SnippetListPage> {
}
Future<void> _runSnippet(Snippet snippet) async {
final servers = await showDialog<List<Server>>(
context: context,
builder: (_) => TagPicker<Server>(
final servers = await context.showPickDialog<Server>(
items: Pros.server.servers.toList(),
tags: Pros.server.tags.toSet(),
),
);
name: (e) => e.spi.name,
);
if (servers == null) {
return;
}