From ec3bf2d176337c20de937ded7f8bed7c591c22a3 Mon Sep 17 00:00:00 2001 From: Dicken Date: Mon, 1 Jun 2026 11:51:16 +0200 Subject: [PATCH] DevTools TextDiff: kein Zeilenumbruch in Textarea, Zeilennummern bleiben korrekt --- frontend/src/tools/devtools.jsx | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/frontend/src/tools/devtools.jsx b/frontend/src/tools/devtools.jsx index be68047..ab52223 100644 --- a/frontend/src/tools/devtools.jsx +++ b/frontend/src/tools/devtools.jsx @@ -1009,7 +1009,8 @@ function TextDiff({ mobile }) { const changedB = diff ? changedLineNums(diff, 'b') : new Set(); const ta = { ...S.inp, fontSize:12, fontFamily:"'Courier New',monospace", width:'100%', - boxSizing:'border-box', minHeight:180, resize:'vertical', lineHeight:'1.6', padding:'7px 8px' }; + boxSizing:'border-box', minHeight:180, resize:'vertical', lineHeight:'1.6', padding:'7px 8px', + whiteSpace:'pre', overflowX:'auto', overflowWrap:'normal' }; function LineNumCol({ text, changedSet }) { return ( @@ -1017,9 +1018,10 @@ function TextDiff({ mobile }) { padding:'7px 6px', minWidth:36, textAlign:'right', userSelect:'none', fontFamily:"'Courier New',monospace", fontSize:12, lineHeight:'1.6', background:'rgba(0,0,0,0.2)', borderRight:'1px solid rgba(255,255,255,0.07)', - whiteSpace:'pre', flexShrink:0}}> + flexShrink:0, overflowY:'hidden'}}> {(text||' ').split('\n').map((_,i) => (
{i+1}
@@ -1044,7 +1046,7 @@ function TextDiff({ mobile }) {