jdk/src/share/classes/javax/swing/MenuSelectionManager.java
changeset 23298 1c729daf92a0
parent 22584 eed64ee05369
child 25201 4adc75e0c4e5
equal deleted inserted replaced
23297:2946ef51ee24 23298:1c729daf92a0
    28 import java.util.*;
    28 import java.util.*;
    29 import java.awt.event.*;
    29 import java.awt.event.*;
    30 import javax.swing.event.*;
    30 import javax.swing.event.*;
    31 
    31 
    32 import sun.awt.AppContext;
    32 import sun.awt.AppContext;
       
    33 import sun.swing.SwingUtilities2;
    33 
    34 
    34 /**
    35 /**
    35  * A MenuSelectionManager owns the selection in menu hierarchy.
    36  * A MenuSelectionManager owns the selection in menu hierarchy.
    36  *
    37  *
    37  * @author Arnaud Weber
    38  * @author Arnaud Weber
    58             MenuSelectionManager msm = (MenuSelectionManager)context.get(
    59             MenuSelectionManager msm = (MenuSelectionManager)context.get(
    59                                                  MENU_SELECTION_MANAGER_KEY);
    60                                                  MENU_SELECTION_MANAGER_KEY);
    60             if (msm == null) {
    61             if (msm == null) {
    61                 msm = new MenuSelectionManager();
    62                 msm = new MenuSelectionManager();
    62                 context.put(MENU_SELECTION_MANAGER_KEY, msm);
    63                 context.put(MENU_SELECTION_MANAGER_KEY, msm);
       
    64 
       
    65                 // installing additional listener if found in the AppContext
       
    66                 Object o = context.get(SwingUtilities2.MENU_SELECTION_MANAGER_LISTENER_KEY);
       
    67                 if (o != null && o instanceof ChangeListener) {
       
    68                     msm.addChangeListener((ChangeListener) o);
       
    69                 }
    63             }
    70             }
    64 
    71 
    65             return msm;
    72             return msm;
    66         }
    73         }
    67     }
    74     }