Beispiel #1
0
 private JList<String> machineList() {
   if (machineList == null) {
     machineList = ui.createList(boxes().toArray(new String[0]));
     machineList.addListSelectionListener(this);
   }
   return machineList;
 }
Beispiel #2
0
 private JList<String> tubList() {
   if (tubList == null) {
     tubList = ui.createList(new String[] {});
     tubList.addListSelectionListener(this);
   }
   return tubList;
 }
Beispiel #3
0
 private JList<String> boxList() {
   if (boxList == null) {
     boxList = ui.createList(boxes().toArray(new String[0]));
     boxList.addListSelectionListener(this);
   }
   return boxList;
 }