Display a badge to inform about case sensitivity (can be disabled by setting)

This commit is contained in:
nemunaire 2023-11-05 10:59:10 +01:00
commit 20272e7bad
6 changed files with 32 additions and 3 deletions

View file

@ -225,6 +225,13 @@
</label>
</div>
<div class="form-check">
<label class="custom-control custom-checkbox">
<input class="custom-control-input" type="checkbox" ng-model="config.hideCaseSensitivity">
<span class="custom-control-label" ng-class="{'text-primary font-weight-bold': !config.hideCaseSensitivity != !dist_config.hideCaseSensitivity}">Ne pas informer sur la sensibilité à la casse des flags</span>
</label>
</div>
<div class="form-check">
<label class="custom-control custom-checkbox">
<input class="custom-control-input" type="checkbox" ng-model="config.submissionUniqueness">