Improve handling of undo/redo events in web demo (#1254)#1255

johnbartholomew merged 1 commit intogoogle:mastergoogle/jsonnet:masterfrom

garyg1:patch-1garyg1/jsonnet:patch-1Copy head branch name to clipboard