← Back to branch summary

~cpn-gui/tapaal/transportArc

« back to all changes in this revision

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

  • Committer: Mark Glavind
  • Date: 2019-03-13 15:04:59 UTC
  • Revision ID: mglavi14@student.aau.dk-20190313150459-cxi0db6wad0dedev
Urgent transitions now work with TACPN. input arcs and transport arcs adjusts their time intervals accordingly

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/TAPNTransitionEditor.java
508
508
        private javax.swing.JPanel transitionEditorPanel;
509
509
        private javax.swing.JCheckBox sharedCheckBox;
510
510
        private javax.swing.JComboBox sharedTransitionsComboBox;
511
 
        private javax.swing.JCheckBox urgentCheckBox;
 
511
        protected javax.swing.JCheckBox urgentCheckBox;
512
512
        private javax.swing.JCheckBox makeNewSharedCheckBox;
513
513
        private Vector<SharedTransition> sharedTransitions;
514
514
        private boolean makeNewShared = false;