Add checkbox as amendEdit input type

This commit is contained in:
JannisX11 2023-05-20 23:32:24 +02:00
parent 06af54e962
commit 9da1029caf
2 changed files with 13 additions and 0 deletions

View File

@ -1178,6 +1178,9 @@
#amend_edit_menu > div.amend_edit_line .nslide_tool {
float: none;
}
#amend_edit_menu > div.amend_edit_line > input {
width: 73px;
}
#amend_edit_menu > div.amend_edit_line > label {
padding: 4px 6px;
}

View File

@ -98,6 +98,8 @@ class UndoSystem {
if (input) {
if (input.type == 'number') {
form_values[key] = input.slider.get();
} else if (input.type == 'checkbox') {
form_values[key] = !!input.node.checked;
}
}
}
@ -137,6 +139,14 @@ class UndoSystem {
input_elements[key] = slider;
this.amend_edit_menu.form[key].slider = slider
slider.update();
} else if (this.amend_edit_menu.form[key].type == 'checkbox') {
let toggle = Interface.createElement('input', {type: 'checkbox', checked: !!form_line.value});
toggle.addEventListener('input', updateValue);
line.append(toggle);
input_elements[key] = toggle;
this.amend_edit_menu.form[key].node = toggle;
}
let label = document.createElement('label');