* is set appropriately before it becomes visible, by intercepting the
* parent menu selection.
*/
private void jMenuFilterMenuSelected(javax.swing.event.MenuEvent evt) {// GEN-FIRST:event_jMenuFilterMenuSelected
FilterImpl filter = getFilter();
if (filter == null || !filter.hasCriteria()) {
filterEnabledMenuItem.setSelected(false);
filterEnabledMenuItem.setEnabled(false);
jFilterOnCheckBox.setSelected(false);
jFilterOnCheckBox.setEnabled(false);
} else {
// filterEnabledMenuItem.setSelected(filter.isEnabled());
// jFilterOnCheckBox.setSelected(filter.isEnabled());
filterEnabledMenuItem.setEnabled(true);
if (filter.isEnabled()) {
filterEnabledMenuItem.setSelected(true);
jFilterOnCheckBox.setSelected(true);
} else {
filterEnabledMenuItem.setSelected(false);
jFilterOnCheckBox.setSelected(false);