CSS tweaks: make 'selected' channels thicker

2019-08-29 09:35:05 -07:00
parent 28e3f1cb6e
commit 32295edb61
1 changed files with 4 additions and 1 deletions
--- 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 <g>
-            <g class-sprotty-node={node instanceof SNode}>
+            <g class-sprotty-node={node instanceof SNode}
+               class-mouseover={node.hoverFeedback}
+               class-selected={node.selected}
+            >
                <path d={path}/>
                <ellipse cx="0" cy={h/2} rx="8" ry={h/2}/>
            </g>