[ jEdit-devel ] [ jedit-Merge Requests-3572835 ] Handle menu bar mnemonics with precedence over otherwise def

[SourceForge.net <no...@so...>]

Merge Requests item #3572835, was opened at 2012-09-28 10:42
Message generated for change (Comment added) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3572835&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: for 5.0.x
>Status: Closed
>Resolution: Rejected
Priority: 5
Private: No
Submitted By: Björn Kautler (vampire0)
Assigned to: Nobody/Anonymous (nobody)
Summary: Handle menu bar mnemonics with precedence over otherwise def

Initial Comment:
Fix for 3528208

r22270

----------------------------------------------------------------------

>Comment By: Alan Ezust (ezust)
Date: 2012-09-28 11:39

Message:
I hate this change!! reject!


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3572835&group_id=588