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

garyg1 wants to merge 3 commits intogoogle:mastergoogle/jsonnet:masterfrom

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