diff --git a/app/src/index.css b/app/src/index.css index fa9ef32..06b4d0f 100644 --- a/app/src/index.css +++ b/app/src/index.css @@ -103,7 +103,12 @@ html, * { -.node-not-focused{ +.shape-node:hover{ + cursor: pointer; + opacity: 0.65; +} + +.shape-node.-not-focused{ opacity: 0.2; } diff --git a/app/src/services/buildProofTree/services/DrawShape.ts b/app/src/services/buildProofTree/services/DrawShape.ts index 4338dde..a556e7a 100644 --- a/app/src/services/buildProofTree/services/DrawShape.ts +++ b/app/src/services/buildProofTree/services/DrawShape.ts @@ -36,6 +36,10 @@ const tactic = (editor: Editor, fill: "none", color: "grey", }, + // probably better as a separate shape + meta: { + isTactic: true + } }, ]); } diff --git a/app/src/shapes/CustomNodeUtil.tsx b/app/src/shapes/CustomNodeUtil.tsx index 2f5bfb5..583f786 100644 --- a/app/src/shapes/CustomNodeUtil.tsx +++ b/app/src/shapes/CustomNodeUtil.tsx @@ -18,7 +18,7 @@ export default class CustomNodeUtil extends GeoShapeUtil { const superRender = super.component(shape); return
{superRender}