From 940cece0e6f47671acd5b7b7d6c3df98e3e43adf Mon Sep 17 00:00:00 2001 From: Giovanni Abbatepaolo <30571828+bbtgnn@users.noreply.github.com> Date: Thu, 25 Jul 2024 11:25:21 +0200 Subject: [PATCH] fix: spacing --- .../dyne-slangroom-editor.tsx | 48 +++++++++++-------- 1 file changed, 27 insertions(+), 21 deletions(-) diff --git a/src/components/dyne-slangroom-editor/dyne-slangroom-editor.tsx b/src/components/dyne-slangroom-editor/dyne-slangroom-editor.tsx index ef031fa..a7d9190 100644 --- a/src/components/dyne-slangroom-editor/dyne-slangroom-editor.tsx +++ b/src/components/dyne-slangroom-editor/dyne-slangroom-editor.tsx @@ -259,35 +259,41 @@ function ErrorRenderer(props: { error: SlangroomError }) { // text-slate-800 -> #1E293B function AnsiRenderer(props: { text: string; className?: string }) { const { text, className = '' } = props; - const converter = new Convert({bg: '#F1F5F9', fg: '#1E293B'}); + const converter = new Convert({ bg: '#F1F5F9', fg: '#1E293B' }); return
;
 }
 
 function ZencodeErrorRenderer(props: { error: ZencodeRuntimeError }) {
   const { error } = props;
   return (
-    
- - <dyne-code-editor - config={{ - doc: error.trace.join('\n'), - }} - ></dyne-code-editor> + <div class="space-y-4"> + <div> + <Title name="trace" className="mb-2" /> + <dyne-code-editor + config={{ + doc: error.trace.join('\n'), + }} + ></dyne-code-editor> + </div> - <Title name="logs" className="mb-1" /> - <dyne-code-editor - config={{ - doc: error.logs.join('\n'), - }} - ></dyne-code-editor> + <div> + <Title name="logs" className="mb-2" /> + <dyne-code-editor + config={{ + doc: error.logs.join('\n'), + }} + ></dyne-code-editor> + </div> - <Title name="heap" className="mb-1" /> - <dyne-code-editor - config={{ - doc: JSON.stringify(error.heap, null, 2), - extensions: [json()], - }} - ></dyne-code-editor> + <div> + <Title name="heap" className="mb-2" /> + <dyne-code-editor + config={{ + doc: JSON.stringify(error.heap, null, 2), + extensions: [json()], + }} + ></dyne-code-editor> + </div> </div> ); }