Does anyone know what the redo keyboard shortcut for Eclipse is?
I'm using Linux Mint based on Ubuntu and do all my programming there. I noticed Eclipse supports C, Java, PHP, HTML, Python. I code in all of these languages so I thought it'd be a nice IDE to use, but the redo shortcut is really important to me. I just use Ctrl+Shift+Z for redo in gedit, but it does not work on Eclipse.
In Eclipse go to:
Window > Preferences > General > Keys
In the keys, scroll down to redo and make it what you want.
Here is documentation.
Here is a screenshot: