/* Re-render da sidebar quando o badge de Ligações muda.
   shell.jsx está imutável; este ficheiro envolve window.Sidebar. */
(function wrapSidebarForNavRefresh() {
  const Orig = window.Sidebar;
  if (!Orig || Orig.__ligRefresh) return;
  const Wrapped = (props) => {
    const [, setRev] = React.useState(0);
    React.useEffect(() => {
      const onRefresh = () => setRev(n => n + 1);
      window.addEventListener('portal-nav-refresh', onRefresh);
      return () => window.removeEventListener('portal-nav-refresh', onRefresh);
    }, []);
    return React.createElement(Orig, props);
  };
  Wrapped.__ligRefresh = true;
  window.Sidebar = Wrapped;
})();