Fix: Bar was not removed for array settings (checkbox-group)

Hopefully this is the last time the behaviour needs to be adapted for that setting type.

javascript/ui.js

@@ -249,7 +249,9 @@ onOptionsChanged(function(){
 	    elem.title = sd_checkpoint_hash
 	    elem.href = "https://google.com/search?q=" + sd_checkpoint_hash
 	}
+})
 
+onOptionsChanged(function(){
     setting_elems = gradioApp().querySelectorAll('#settings [id^="setting_"]')
     setting_elems.forEach(function(elem){
         setting_name = elem.id.replace("setting_", "")
@@ -269,6 +271,19 @@ function markIfModified(setting_name, value) {
     }
 }
 
+function onSettingComponentChanged(setting_name, value) {
+    markIfModified(setting_name, value)
+    return []
+}
+
+function onModificationIndicatorClicked(setting_name) {
+    elem = gradioApp().getElementById("modification_indicator_"+setting_name)
+    if (elem) {
+        elem.disabled = true
+    }
+    return JSON.parse(JSON.stringify(opts[setting_name]));
+}
+
 let txt2img_textarea, img2img_textarea = undefined;
 let wait_time = 800
 let token_timeouts = {};