highlighting linear plots

imldresden · Nov 22, 2024 · a89df10 · a89df10
1 parent d961673
commit a89df10
Show file tree

Hide file tree

Showing 3 changed files with 251 additions and 179 deletions.
diff --git a/frontend/public/js/proof/rules/cd/diff/diff.js b/frontend/public/js/proof/rules/cd/diff/diff.js
@@ -565,7 +565,7 @@ export class DifferenceCD {
             cy.nodes().forEach(d => {
                 d.data({v: d.data().og})
             })
-            animateNegativeCycle(cy, { nid: params.manual.id})
+            animateNegativeCycle(cy, { nid: params.manual.id })
         }
         const varInput = document.getElementById('var-input')
         varInput.value = "";