Change redo shortcut from ctrl-r to ctrl-y
Ctrl-y is more standard and used in many applications, ctrl-r is used pretty much nowhere.
Merge pull request #1028 from diizy/stable-1.1

Change redo shortcut from ctrl-r to ctrl-y