I suggest you ...

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

14 votes
Vote
Sign in
Check!
(thinking…)
Reset
or sign in with
  • facebook
  • google
    Password icon
    I agree to the terms of service
    Signed in as (Sign out)
    You have left! (?) (thinking…)
    michael yap shared this idea  ·   ·  Admin →

    2 comments

    Sign in
    Check!
    (thinking…)
    Reset
    or sign in with
    • facebook
    • google
      Password icon
      I agree to the terms of service
      Signed in as (Sign out)
      Submitting...
      • 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.

        John

      Feedback and Knowledge Base