Skip to content
Snippets Groups Projects
Commit 9ae33d7d authored by Jonas Blatt's avatar Jonas Blatt :ant:
Browse files

Merge branch 'feature/verifieractions' into 'documentation/verifier'

Feature/verifieractions

See merge request jonasblatt/ma-jonasblatt-dmn-verifier!101
parents d42d8fbe c2468399
No related branches found
No related tags found
No related merge requests found
...@@ -45,7 +45,7 @@ ...@@ -45,7 +45,7 @@
</label> </label>
</div> </div>
<div class="dmn-top-item"> <div class="dmn-top-item">
<h1 id="heading">Verification for Decision Modeling Notation</h1> <h1 id="heading">Verification for Decision Modeling and Notation</h1>
</div> </div>
<div class="dmn-top-item"> <div class="dmn-top-item">
<span class="status-dot" id="backend-status" title="Backend status"/> <span class="status-dot" id="backend-status" title="Backend status"/>
......
...@@ -131,8 +131,8 @@ function cleanDmnVerifierRoot() { ...@@ -131,8 +131,8 @@ function cleanDmnVerifierRoot() {
} }
function checkVerifications() { function checkVerifications() {
cleanDmnVerifierRoot();
saveSessionDmn(); saveSessionDmn();
cleanDmnVerifierRoot();
getVerifications(); getVerifications();
} }
......
...@@ -71,14 +71,14 @@ function performVerificationFix(verificationEntry, fix, id, $callerButton) { ...@@ -71,14 +71,14 @@ function performVerificationFix(verificationEntry, fix, id, $callerButton) {
default: default:
alert("Action not defined: " + fix); alert("Action not defined: " + fix);
} }
if (cud) { }
$callerButton.css('display', 'none'); if (cud) {
if ($checkBoxReverify[0].checked) { $callerButton.css('display', 'none');
checkVerifications(); if ($checkBoxReverify[0].checked) {
} checkVerifications();
} }
performHighlightFunction();
} }
performHighlightFunction();
} }
/** /**
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment