new & opt.

- new: support suspend and WOL #172
- opt.: `execWithPwd` when cancel
- opt.: extentions

lib/view/page/snippet/edit.dart

@@ -56,7 +56,7 @@ class _SnippetEditPageState extends State<SnippetEditPage>
     return [
       IconButton(
         onPressed: () {
-          Providers.snippet.del(widget.snippet!);
+          Pros.snippet.del(widget.snippet!);
           context.pop();
         },
         tooltip: l10n.delete,
@@ -84,9 +84,9 @@ class _SnippetEditPageState extends State<SnippetEditPage>
           note: note.isEmpty ? null : note,
         );
         if (widget.snippet != null) {
-          Providers.snippet.update(widget.snippet!, snippet);
+          Pros.snippet.update(widget.snippet!, snippet);
         } else {
-          Providers.snippet.add(snippet);
+          Pros.snippet.add(snippet);
         }
         context.pop();
       },
@@ -118,9 +118,9 @@ class _SnippetEditPageState extends State<SnippetEditPage>
           onChanged: (p0) => setState(() {
             _tags = p0;
           }),
-          allTags: [...Providers.server.tags],
+          allTags: [...Pros.server.tags],
           onRenameTag: (old, n) => setState(() {
-            Providers.server.renameTag(old, n);
+            Pros.server.renameTag(old, n);
           }),
         ),
         Input(

lib/view/page/snippet/list.dart

@@ -130,15 +130,15 @@ class _SnippetListPageState extends State<SnippetListPage> {
     final servers = await showDialog<List<Server>>(
       context: context,
       builder: (_) => TagPicker<Server>(
-        items: Providers.server.servers.toList(),
-        tags: Providers.server.tags.toSet(),
+        items: Pros.server.servers.toList(),
+        tags: Pros.server.tags.toSet(),
       ),
     );
     if (servers == null) {
       return;
     }
     final ids = servers.map((e) => e.spi.id).toList();
-    final results = await Providers.server.runSnippetsMulti(ids, [snippet]);
+    final results = await Pros.server.runSnippetsMulti(ids, [snippet]);
     if (results.isNotEmpty) {
       // SERVER_NAME: RESULT
       final result = Map.fromIterables(