From ee47a8bcc7c10a2cfd79f158e05bc9fa5631bfd9 Mon Sep 17 00:00:00 2001 From: Dicken Date: Fri, 5 Jun 2026 01:19:16 +0200 Subject: [PATCH] DevTools Mobile: border statt outline (kein clip), Fade-Hint rechts mit Pfeil --- frontend/src/tools/devtools.jsx | 53 +++++++++++++++++++++------------ 1 file changed, 34 insertions(+), 19 deletions(-) diff --git a/frontend/src/tools/devtools.jsx b/frontend/src/tools/devtools.jsx index ed76914..fa03a91 100644 --- a/frontend/src/tools/devtools.jsx +++ b/frontend/src/tools/devtools.jsx @@ -3106,26 +3106,41 @@ export default function DevTools({ toast, mobile }) { Konverter · Formatter · Helfer - {/* Tool-Auswahl: Mobile = horizontal scroll, Desktop = 2-Spalten-Grid */} + {/* Tool-Auswahl: Mobile = horizontal scroll mit Fade-Hint, Desktop = 2-Spalten-Grid */} {mobile ? ( -
- {TOOL_DEFS.map(t=>( - - ))} +
+
+ {TOOL_DEFS.map(t=>( + + ))} + {/* Abstandshalter rechts damit letzter Chip nicht unter Fade liegt */} +
+
+ {/* Fade-Overlay rechts → signalisiert weiteren Inhalt ohne Chips abzuschneiden */} +
+ {/* Scroll-Pfeil */} +
) : (