Improve UI. Rounded Card.

This commit is contained in:
Junyuan Feng
2022-02-04 18:52:35 +08:00
parent 026d203608
commit 1bd43829bb
16 changed files with 271 additions and 100 deletions

View File

@@ -324,8 +324,11 @@ class ServerProvider extends BusyProvider {
notifyListeners();
}
Future<String?> runSnippet(int idx, Snippet snippet) async {
final result = await _servers[idx].client!.run(snippet.script);
Future<String?> runSnippet(ServerPrivateInfo spi, Snippet snippet) async {
final result = await _servers
.firstWhere((element) => element.info == spi)
.client!
.run(snippet.script);
return utf8.decode(result);
}
}