<div dir="ltr">As of right now there exists a redo button without keyboard shortcuts. What are your opinions on whether or not Ctrl +Shift+Z or Ctrl+Y would be more appropriate (the logic to have both might be too complex and not worth the time to implement)?<div><br></div><div>Thanks!</div></div>