From a871e67caf2d6ce19d8eca09689146c37899e7a3 Mon Sep 17 00:00:00 2001
From: kostis30fyllou <kostis30fylloy@gmail.com>
Date: Mon, 22 Jun 2020 15:52:18 +0300
Subject: [PATCH] Fix bug with double checked checkboxes

---
 .../src/app/configuration/settings/settings.component.html      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interactive-mining-angular-frontend/src/app/configuration/settings/settings.component.html b/interactive-mining-angular-frontend/src/app/configuration/settings/settings.component.html
index 493029f..95a92c6 100755
--- a/interactive-mining-angular-frontend/src/app/configuration/settings/settings.component.html
+++ b/interactive-mining-angular-frontend/src/app/configuration/settings/settings.component.html
@@ -127,7 +127,7 @@
                 <label class="uk-form-label" for="punctuation-filter"><input id="punctuation-filter" class="uk-checkbox" type="checkbox" [checked]="settings.punctuation===1" (change)="punctuationCheckBoxChange($event.target.checked)"> Punctuation removal</label>
               </div>
               <div class="uk-margin">
-                <label class="uk-form-label" for="lowercase-filter"><input id="all-lowercase-filter" class="uk-checkbox" type="checkbox" [checked]="settings.lowercase===1" (change)="allLowercaseCheckBoxChange($event.target.checked)"> Convert everything to lower case</label>
+                <label class="uk-form-label" for="all-lowercase-filter"><input id="all-lowercase-filter" class="uk-checkbox" type="checkbox" [checked]="settings.allLowercase===1" (change)="allLowercaseCheckBoxChange($event.target.checked)"> Convert everything to lower case</label>
               </div>
               <div class="uk-margin">
                 <label class="uk-form-label" for="lowercase-filter"><input id="lowercase-filter" class="uk-checkbox" type="checkbox" [checked]="settings.lowercase===1" (change)="lowercaseCheckBoxChange($event.target.checked)"> Convert to lower-case only during evaluation of phrases</label>