Force update the react state after an undo / redo to rerender whether or not the buttons should be disabled.
Force update the react state after an undo / redo to rerender whether or not the buttons should be disabled.

playi/pxt,switchinnovations/pxt,playi/pxt,switch-education/pxt,Microsoft/pxt,switchinnovations/pxt,Microsoft/pxt,switch-education/pxt,switchinnovations/pxt,switch-education/pxt,Microsoft/pxt,Microsoft/pxt,Microsoft/pxt,switch-education/pxt,switchinnovations/pxt,playi/pxt,playi/pxt,switch-education/pxt