← Back to branch summary

~tapaal-contributor/tapaal/display-shared-places-transitions-1879126

« back to all changes in this revision

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

  • Committer: Jiri Srba
  • Date: 2020-04-28 19:15:28 UTC
  • mfrom: (998.2.376 testbranch)
  • Revision ID: srba@cs.aau.dk-20200428191528-3xxjqa1r4jcob5ur
merged in lp:~yrke/tapaal/testbranch doing majour refactoring of the GUI

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/widgets/ArcTokenSelector.java
2
2
 
3
3
import java.awt.Component;
4
4
import java.awt.GridLayout;
5
 
import java.awt.event.ActionEvent;
6
 
import java.awt.event.ActionListener;
7
5
import java.awt.event.ItemEvent;
8
6
import java.awt.event.ItemListener;
9
7
import java.util.ArrayList;
38
36
                for(TimedToken token : elligibleTokens){
39
37
                        JCheckBox checkBox = new JCheckBox(token.toString());
40
38
                        checkBox.addItemListener(new ItemListener() {
41
 
                                
 
39
 
42
40
                                public void itemStateChanged(ItemEvent arg0) {
43
41
                                        if(((JCheckBox)arg0.getSource()).isSelected()){
44
42
                                                missingToSelect--;