← Back to branch summary

~tapaal-contributor/tapaal/implement-game-ui-1884499

« back to all changes in this revision

Viewing changes to src/pipe/gui/widgets/TAPNTransitionEditor.java

  • Committer: lsaid
  • Date: 2020-08-07 10:54:57 UTC
  • Revision ID: lena.said@hotmail.com-20200807105457-7vlfclk9ymw5tb2p
added undo for uncontrollable transitions

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/TAPNTransitionEditor.java
15
15
import javax.swing.JTextField;
16
16
import javax.swing.event.CaretListener;
17
17
 
 
18
import dk.aau.cs.gui.undo.*;
18
19
import net.tapaal.swinghelpers.WidthAdjustingComboBox;
19
20
import pipe.gui.CreateGui;
20
21
import pipe.gui.graphicElements.tapn.TimedTransitionComponent;
21
22
import dk.aau.cs.gui.Context;
22
 
import dk.aau.cs.gui.undo.Command;
23
 
import dk.aau.cs.gui.undo.MakeTransitionNewSharedCommand;
24
 
import dk.aau.cs.gui.undo.MakeTransitionNewSharedMultiCommand;
25
 
import dk.aau.cs.gui.undo.MakeTransitionSharedCommand;
26
 
import dk.aau.cs.gui.undo.RenameTimedTransitionCommand;
27
 
import dk.aau.cs.gui.undo.ToggleTransitionUrgent;
28
 
import dk.aau.cs.gui.undo.UnshareTransitionCommand;
29
23
import dk.aau.cs.model.tapn.Bound;
30
24
import dk.aau.cs.model.tapn.SharedTransition;
31
25
import dk.aau.cs.model.tapn.TimedInhibitorArc;
183
177
            uncontrollableCheckBox.addActionListener(new ActionListener() {
184
178
                public void actionPerformed(ActionEvent arg0) {
185
179
                    JCheckBox box = (JCheckBox) arg0.getSource();
186
 
                    if (box.isSelected()) {
187
 
                        uncontrollableCheckBox.setSelected(true);
188
 
                        transition.setUncontrollable(true);
189
 
                    } else {
190
 
                        uncontrollableCheckBox.setSelected(false);
191
 
                        transition.setUncontrollable(false);
192
 
                    }
 
180
                    uncontrollableCheckBox.setSelected(box.isSelected());
193
181
                }
194
182
            });
195
183
        }
481
469
                        context.undoManager().addEdit(new ToggleTransitionUrgent(transition.underlyingTransition()));
482
470
                        transition.setUrgent(urgentCheckBox.isSelected());
483
471
                }
484
 
 
485
 
        transition.setUncontrollable(uncontrollableCheckBox.isSelected());
 
472
        if(transition.isUncontrollable() != uncontrollableCheckBox.isSelected()){
 
473
            context.undoManager().addEdit(new ToggleTransitionUncontrollable(transition.underlyingTransition()));
 
474
            transition.setUncontrollable(uncontrollableCheckBox.isSelected());
 
475
        }
486
476
 
487
477
                int rotationIndex = rotationComboBox.getSelectedIndex();
488
478
                if (rotationIndex > 0) {