private JMenuItem _overview_placment_mi;
private ButtonGroup _radio_group_1;
+ @Override
public void actionPerformed( final ActionEvent e ) {
final Object o = e.getSource();
if ( o == _midpoint_root_item ) {
_options_jmenu = MainFrame.createMenu( MainFrame.OPTIONS_HEADER, getConfiguration() );
_options_jmenu.addChangeListener( new ChangeListener() {
+ @Override
public void stateChanged( final ChangeEvent e ) {
MainFrame.setOvPlacementColorChooseMenuItem( _overview_placment_mi, getCurrentTreePanel() );
MainFrame.setTextColorChooseMenuItem( _switch_colors_mi, getCurrentTreePanel() );