推进 INI 面板 control-page refresh workflow helper

wasm-port/runtime/ui/ini-panel/ui-shell.js

@@ -9,6 +9,16 @@ import {
 import {
   renderMachineSessionControlView,
 } from "./control-view-renderer.js";
+import {
+  controlPageStatusText,
+  createControlPageRefreshState,
+  refreshMachineSessionControlPage,
+} from "./control-page-refresh-workflow.js";
+export {
+  controlPageStatusText,
+  createControlPageRefreshState,
+  refreshMachineSessionControlPage,
+} from "./control-page-refresh-workflow.js";
 export {
   INI_PANEL_ENTRIES,
   getIniPanelEntryByHref,
@@ -43,6 +53,7 @@ export function createIniPanelShellViewModel(entries = getVisibleIniPanelEntries
     launcherLinks: createIniPanelLauncherLinkViewModel(entries),
     controlPage: {
       createController: createMachineSessionControlPageController,
+      refresh: refreshMachineSessionControlPage,
       renderView: renderMachineSessionControlView,
     },
   };