This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://dev.w3.org/2006/webapi/DOM-Level-3-Events/html/DOM3-Events.html#key-values-list The key name list defines 'Undo', 'Copy', 'Cut' and 'Paste'. But 'Redo' isn't defined. The 'Redo' key is defined by GTK.
Fixed in latest ED