/** Unconfigures a JCheckBoxMenuItem for an Action. */
public static void unconfigureJCheckBoxMenuItem(JCheckBoxMenuItem mi, Action a) {
PropertyChangeListener propertyHandler =
(PropertyChangeListener) mi.getClientProperty("actionPropertyHandler");
if (propertyHandler != null) {
a.removePropertyChangeListener(propertyHandler);
mi.putClientProperty("actionPropertyHandler", null);
}
}
/** Configures a JCheckBoxMenuItem for an Action. */
public static void configureJCheckBoxMenuItem(final JCheckBoxMenuItem mi, final Action a) {
mi.setSelected((Boolean) a.getValue(Actions.SELECTED_KEY));
PropertyChangeListener propertyHandler =
new PropertyChangeListener() {
public void propertyChange(PropertyChangeEvent evt) {
if (evt.getPropertyName().equals(Actions.SELECTED_KEY)) {
mi.setSelected((Boolean) a.getValue(Actions.SELECTED_KEY));
}
}
};
a.addPropertyChangeListener(propertyHandler);
mi.putClientProperty("actionPropertyHandler", propertyHandler);
}