diff --git a/css/window.css b/css/window.css index 1a0f8072..d66768bb 100644 --- a/css/window.css +++ b/css/window.css @@ -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; } diff --git a/js/undo.js b/js/undo.js index b662cd72..010d44e4 100644 --- a/js/undo.js +++ b/js/undo.js @@ -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');