[cp-patches] FYI: JMenu fix closes bug 13683

[Anthony Balkissoon]

Committed this patch that paints the background of a disabled JMenu
properly when it is selected.

This, in addition to the JMenu patches I committed yesterday, should
close bug 13683.

Patch is attached.

2005-07-12  Anthony Balkissoon  <address@hidden>

* javax/swing/JMenu.java:
(isSelected): Call super.isSelected() instead of super.isArmed().
* javax/swing/plaf/basic/BasicMenuItemUI.java:
(paintMenuItem): Replaced incorrect selection criteria with call to
isSelected().
(paintText): Likewise

JMenuDisabledSelection.diff
Description: Text Data