| Summary: | [KeyBindings] shortcut for redo does not follow standard linux shortcuts | ||
|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Missing name Mising name <diggory.hardy> |
| Component: | UI | Assignee: | Paul Webster <pwebster> |
| Status: | VERIFIED FIXED | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | CC: | remy.suen |
| Version: | 3.6.2 | ||
| Target Milestone: | 4.2 M4 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Whiteboard: | |||
|
Description
Missing name Mising name
Not sure if it makes sense to change the keybindings for something that's been set in stone for so long. You're right, removing a well-known shortcut would probably infuriate a lot of users. So is adding a second shortcut feasible? Ctrl+Shift+Z is just not bound to anything in eclipse? I'll scan the plugin.xml PW I wasn't able to find anything in my 4.2 install, I'll see about adding it for linux. PW 4.2: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=1ebce21a189c6a448e8f0ed9cbc4305ca84b9a28 3.8: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=2192bd58b1ba294c278e7b39c1f2220a7358b223 PW Awesome; cheers Paul! In I20111205-2330 PW |