improve delete-key flow

flutter/lib/pages/keytoken_list/keytoken_list.dart

@@ -79,7 +79,7 @@ class _KeyTokenListPageState extends State<KeyTokenListPage> {
           child: PagedListView<int, KeyToken>(
             pagingController: _pagingController,
             builderDelegate: PagedChildBuilderDelegate<KeyToken>(
-              itemBuilder: (context, item, index) => KeyTokenListItem(item: item),
+              itemBuilder: (context, item, index) => KeyTokenListItem(item: item, needsReload: _fullRefresh),
             ),
           ),
         ),
@@ -107,4 +107,9 @@ class _KeyTokenListPageState extends State<KeyTokenListPage> {
       builder: (context) => KeyTokenCreatedModal(keytoken: token, tokenValue: tokValue),
     );
   }
+
+  void _fullRefresh() {
+    ApplicationLog.debug('KeytokenListPage::fullRefresh');
+    _pagingController.refresh();
+  }
 }

flutter/lib/pages/keytoken_list/keytoken_list_item.dart

@@ -17,10 +17,12 @@ enum KeyTokenListItemMode {
 class KeyTokenListItem extends StatelessWidget {
   const KeyTokenListItem({
     required this.item,
+    required this.needsReload,
     super.key,
   });
 
   final KeyToken item;
+  final void Function()? needsReload;
 
   @override
   Widget build(BuildContext context) {
@@ -32,7 +34,7 @@ class KeyTokenListItem extends StatelessWidget {
       color: Theme.of(context).cardTheme.color,
       child: InkWell(
         onTap: () {
-          Navi.push(context, () => KeyTokenViewPage(keytokenID: item.keytokenID, preloadedData: item, needsReload: null));
+          Navi.push(context, () => KeyTokenViewPage(keytokenID: item.keytokenID, preloadedData: item, needsReload: needsReload));
         },
         child: Padding(
           padding: const EdgeInsets.all(8),