Function refresh

src/web-ui/src/app/hooks/useNavHistory.ts:74–74

()

  useEffect(() => {
    mountedRef.current = true;
    const refresh = () => { if (mountedRef.current) forceUpdate(n => n + 1); };
    _listeners.add(refresh);

    // Listen for external push events