Dashboard: Globale Suche mit Live-Ergebnissen fuer Tools, Links, Code, Archiv, Bestellungen

frontend/src/tools/devtools.jsx

@@ -3089,9 +3089,17 @@ const TOOL_DEFS = [
   {id:'qrcode',    label:'◻ QR-Code',     desc:'QR-Codes erstellen & verwalten',     ready:true, component:QrGenerator},
 ];
 
-export default function DevTools({ toast, mobile }) {
+export default function DevTools({ toast, mobile, nav }) {
   const [activeTool, setActiveTool] = useState('cron');
   const [activeTab,  setActiveTab]  = useState('explain');
+
+  // Von außen navigieren (z.B. über Suche)
+  useEffect(() => {
+    if (nav?.tool) {
+      setActiveTool(nav.tool);
+      setActiveTab('');
+    }
+  }, [nav?.ts]);
   const chipScrollRef = useRef(null);
   const [chipScroll, setChipScroll] = useState({ left: false, right: true });