diff --git a/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html b/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html index 40e985cbed903a46a3c4ae349f9a1ec09068e12f..1f17fa29f2f82c43bf2231cd731746d0793530f6 100644 --- a/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html +++ b/dmnverifierfrontend/src/main/resources/META-INF/resources/index.html @@ -25,7 +25,6 @@ <div class="editor-tabs"></div> </div> </div> -<button id="button-dmn-verify" onclick="checkVerifications()">Get verifications</button> <div id="root-dmn-verifier"></div> </div> diff --git a/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js b/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js index 06fd1af007b30cb2646f5abd300be3904283ef37..52304f19388ac707e01e70527bdfd01ca06b1d07 100644 --- a/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js +++ b/dmnverifierfrontend/src/main/resources/META-INF/resources/js/dmnVerifier.js @@ -7,12 +7,17 @@ let dmnApi = rootUrl + 'api/dmn/'; */ let verifierResults = {}; -function checkVerifications() { - getVerifications(); +function cleanDmnVerifierRoot() { + let $root = $('#root-dmn-verifier').empty(); + $root.append($(` + <button id="button-dmn-verify" onClick="checkVerifications()"> + Get verifications</button> + `)); + return $root; } -function cleanDmnVerifierRoot() { - $('#root-dmn-verifier').empty(); +function checkVerifications() { + getVerifications(); } function getVerifications() { @@ -60,7 +65,7 @@ function getVerifications() { function renderDmnVerifierOptions() { // reset div - let $root = $('#root-dmn-verifier'); + let $root = cleanDmnVerifierRoot(); let $select = $(` <select name="verifier" id="verifier" onchange="renderVerifierResult(this)"> `); @@ -81,7 +86,7 @@ function renderDmnVerifierOptions() { } $curGroup.append(renderSelectEntry(verifierResults.verifier[i])); } - $root.html($select); + $root.append($select); $root.append($(`<div id="verifier-entries">`)); }