can manually refresh when updateInterval==0

This commit is contained in:
Junyuan Feng
2021-12-31 17:44:17 +08:00
parent de1e970108
commit f7558d6beb
9 changed files with 82 additions and 46 deletions

View File

@@ -122,7 +122,8 @@ class _SnippetListPageState extends State<SnippetListPage> {
final result = await locator<ServerProvider>()
.runSnippet(_selectedIndex, snippet);
if (result != null) {
showRoundDialog(context, 'Result', Text(result, style: const TextStyle(fontSize: 13)), [
showRoundDialog(context, 'Result',
Text(result, style: const TextStyle(fontSize: 13)), [
TextButton(
onPressed: () => Navigator.of(context).pop(),
child: const Text('Close'))