Bring back Alt+Key shortcuts in jEdit 5.1
I've just tried jEdit 5.1pre1 daily-built and my Alt shortcut keys don't work any more. There's no setings to change it back to the old style.
I suggest having a preference to disable the 'Alt menu keys' (those underlines keys) so that I can use my own Alt+keys as shorcuts.
I'm reinstalling 5.0
AdminjEdit (Admin, jEdit) commented
For me it is possible to override the alt-menu shortcuts in jEdit 5.1.
Are you still having this problem?
John Smith commented
I agree, the forced preference of Alt-menu shortcuts is unfortunate. It could be acceptable in a brand new installation, but there should be a way to override the Alt menu shortcuts with standard shortcuts in the Options pane. As it is, this feature has seriously upset the ease of experience with my jEdit work.