@@ -103,7 +103,6 @@ public final class EditorTopComponent extends TopComponent implements PropertyCh
103
103
private PredSuccAction predSuccAction ;
104
104
private ShowEmptyBlocksAction showEmptyBlocksAction ;
105
105
private SelectionModeAction selectionModeAction ;
106
- private PanModeAction panModeAction ;
107
106
private boolean notFirstTime ;
108
107
private JComponent satelliteComponent ;
109
108
private JPanel centerPanel ;
@@ -320,19 +319,9 @@ public void changed(DiagramViewModel source) {
320
319
toolBar .add (redoAction );
321
320
322
321
toolBar .addSeparator ();
323
- ButtonGroup interactionButtons = new ButtonGroup ();
324
-
325
- panModeAction = new PanModeAction ();
326
- panModeAction .setSelected (true );
327
- button = new JToggleButton (panModeAction );
328
- button .setSelected (true );
329
- interactionButtons .add (button );
330
- toolBar .add (button );
331
- panModeAction .addPropertyChangeListener (this );
332
-
333
322
selectionModeAction = new SelectionModeAction ();
334
323
button = new JToggleButton (selectionModeAction );
335
- interactionButtons . add ( button );
324
+ button . setSelected ( false );
336
325
toolBar .add (button );
337
326
selectionModeAction .addPropertyChangeListener (this );
338
327
@@ -579,11 +568,12 @@ public void propertyChange(PropertyChangeEvent evt) {
579
568
} else if (evt .getSource () == this .hideDuplicatesAction ) {
580
569
boolean b = (Boolean ) hideDuplicatesAction .getValue (HideDuplicatesAction .STATE );
581
570
this .getModel ().setHideDuplicates (b );
582
- } else if (evt .getSource () == this .selectionModeAction || evt .getSource () == this .panModeAction ) {
583
- if (panModeAction .isSelected ()) {
584
- scene .setInteractionMode (DiagramViewer .InteractionMode .PANNING );
585
- } else if (selectionModeAction .isSelected ()) {
571
+ } else if (evt .getSource () == this .selectionModeAction ) {
572
+ boolean b = (Boolean ) selectionModeAction .getValue (SelectionModeAction .STATE );
573
+ if (b ) {
586
574
scene .setInteractionMode (DiagramViewer .InteractionMode .SELECTION );
575
+ } else {
576
+ scene .setInteractionMode (DiagramViewer .InteractionMode .PANNING );
587
577
}
588
578
} else {
589
579
assert false : "Unknown event source" ;
0 commit comments