Fix checkbox trait values on undo/redo. Closes #4972

src/trait_manager/view/TraitCheckboxView.ts

@@ -19,6 +19,11 @@ export default class TraitCheckboxView extends TraitView {
     this.model.set('value', this.getInputElem().checked);
   }
 
+  setInputValue(value: any) {
+    const el = this.getInputElem();
+    el && (el.checked = !!value);
+  }
+
   /**
    * Returns input element
    * @return {HTMLElement}