- if (frequency_listener != null) {
- frequencies.removeActionListener(frequency_listener);
- frequencies.setEnabled(false);
- frequency_listener = null;
- }
-
+ if (frequency_listener == null)
+ return;
+ frequencies.removeActionListener(frequency_listener);
+ menu_bar.remove(frequencies);
+ menu_bar.repaint();
+ frequency_listener = null;