WIP: ports, links

2019-08-29 19:25:03 -04:00
parent 1a7bcf76a9
commit d1e39fef5e
10 changed files with 285 additions and 34 deletions
--- a/headless-services/sprotty-si-view/client/css/diagram.css
+++ b/headless-services/sprotty-si-view/client/css/diagram.css
@@ -20,6 +20,16 @@
    stroke-width: 2;
 }

+.sprotty-port {
+    fill: #aaffaa;
+    stroke: #000000;
+    stroke-width: 1px;
+}
+
+.sprotty-port.sprotty-error-port {
+    fill: #ff0000;
+}
+
 .sprotty-text {
    font-size: 16pt;
    text-anchor: middle;