From 6823fdc7f922a688b26f137766ec032f5c0ace12 Mon Sep 17 00:00:00 2001 From: Dietmar Maurer Date: Fri, 6 Nov 2020 12:12:59 +0100 Subject: [PATCH] ui: improve prune simulator layout --- docs/prune-simulator/prune-simulator.js | 36 +++++++++++++++---------- 1 file changed, 22 insertions(+), 14 deletions(-) diff --git a/docs/prune-simulator/prune-simulator.js b/docs/prune-simulator/prune-simulator.js index 505eb852..70c1f10b 100644 --- a/docs/prune-simulator/prune-simulator.js +++ b/docs/prune-simulator/prune-simulator.js @@ -31,7 +31,7 @@ Ext.onReady(function() { extend: 'Ext.Panel', alias: 'widget.prunesimulatorDocumentation', - html: '