Searched refs:classNamesJList (Results 1 – 1 of 1) sorted by relevance
63 private final JList<String> classNamesJList = new JList<>(); field in VerifierAppFrame130 classNamesJList.addListSelectionListener(new javax.swing.event.ListSelectionListener() { in jbInit()137 classNamesJList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); in jbInit()217 jScrollPane1.getViewport().add(classNamesJList, null); in jbInit()244 current_class = classNamesJList.getSelectedValue(); in classNamesJList_valueChanged()251 classNamesJList.setSelectedValue(current_class, true); in classNamesJList_valueChanged()325 classNamesJList.setSelectedValue(classname, true); in newFileMenuItem_actionPerformed()417 return classNamesJList; in getClassNamesJList()