Use ctrl+alt+y instead of ctrl+y on Linux and Windows

ctrl+y is a common command for redo on Linux and Windows.