From 32295edb61969e2f34124be204d877969bed1fa3 Mon Sep 17 00:00:00 2001 From: Kris De Volder Date: Thu, 29 Aug 2019 09:35:05 -0700 Subject: [PATCH] CSS tweaks: make 'selected' channels thicker --- headless-services/sprotty-si-view/client/src/views.tsx | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/headless-services/sprotty-si-view/client/src/views.tsx b/headless-services/sprotty-si-view/client/src/views.tsx index 1248f14e0..f3b62c27b 100644 --- a/headless-services/sprotty-si-view/client/src/views.tsx +++ b/headless-services/sprotty-si-view/client/src/views.tsx @@ -112,7 +112,10 @@ export class ChannelNodeView extends RectangularNodeView { const h = Math.max(node.size.height, 0); const path = `M 0 ${h} H ${w-8} A 8 ${h/2} 0 0 0 ${w-8} 0 H 0`; return - +