focusing - tactics are always full opacity

Paper-Proof · Aug 3, 2023 · 4608dcd · 4608dcd
1 parent e918c9a
commit 4608dcd
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git 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
@@ -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
@@ -18,7 +18,7 @@ export default class CustomNodeUtil extends GeoShapeUtil {
     const superRender = super.component(shape);
 
     return <div
-      className={shape.meta.isFocused ? "" : "node-not-focused"}
+      className={shape.meta.isFocused || shape.meta.isTactic ? "shape-node" : "shape-node -not-focused"}
     >
       {superRender}
     </div>