From a3bbceed4d2aac7eb2a0154b1050d596ca404e07 Mon Sep 17 00:00:00 2001 From: Luis Fernando Molina Date: Sat, 7 Mar 2020 09:05:10 +0100 Subject: [PATCH] small border --- ChartingSpace/EdgeEditor.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ChartingSpace/EdgeEditor.js b/ChartingSpace/EdgeEditor.js index 402418a3c..7850c2627 100644 --- a/ChartingSpace/EdgeEditor.js +++ b/ChartingSpace/EdgeEditor.js @@ -342,7 +342,7 @@ function newEdgeEditor () { let lineWidth if (whereIsMouseOver === 'outside' || thisObject.isMouseOver === false) { - edgeSize = EDGE_SIZE / 2 + edgeSize = 2 lineWidth = 0.1 } else { edgeSize = EDGE_SIZE @@ -508,3 +508,4 @@ function newEdgeEditor () { } } } +