From 05b2eb274790585206d182647ecdbf9e2ad00c99 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Wed, 24 Mar 2021 15:08:27 +0100 Subject: [PATCH] Fix offsets --- .../src/builtin/visualization/java_script/sql.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/rust/ide/view/graph-editor/src/builtin/visualization/java_script/sql.js b/src/rust/ide/view/graph-editor/src/builtin/visualization/java_script/sql.js index 41d4eaf300..4662af0f3b 100644 --- a/src/rust/ide/view/graph-editor/src/builtin/visualization/java_script/sql.js +++ b/src/rust/ide/view/graph-editor/src/builtin/visualization/java_script/sql.js @@ -76,8 +76,8 @@ class SqlVisualization extends Visualization { scrollable.setAttributeNS(null, 'viewBox', '0 0 ' + width + ' ' + height) scrollable.setAttributeNS(null, 'width', '100%') scrollable.setAttributeNS(null, 'height', '100%') - const viewStyle = `width: ${width - 10}px; - height: ${height - 10}px; + const viewStyle = `width: ${width - 5}px; + height: ${height - 5}px; overflow: scroll; padding:2.5px;` scrollable.setAttributeNS(null, 'style', viewStyle) @@ -361,6 +361,7 @@ const visualizationStyle = ` font-family: DejaVuSansMonoBook, sans-serif; font-size: 12px; margin-left: 7px; + margin-top: 5px; } .interpolation { border-radius: 6px;