[ jEdit-devel ] [ jedit-Patches-3022084 ] Patch for Bug 2960128

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

Patches item #3022084, was opened at 2010-06-28 01:31
Message generated for change (Tracker Item Submitted) made by goodfella1408
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=3022084&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: general
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Anshal Shukla (goodfella1408)
Assigned to: Nobody/Anonymous (nobody)
Summary: Patch for Bug 2960128

Initial Comment:
Added a new method closeAllMenus() in View.java which is invoked from  DockableWindowManager.toggleDockAreas().This closes the pop up menu (if it is open) when F12 key(for toggling dock areas) is pressed .Also this facilitates proper focus traversal to the menu bar thereafter.

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

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