public void actionPerformed(java.awt.event.ActionEvent event) { if(historyModel != null) { historyModel.setHistoryEntry(index); } } }
public void actionPerformed(java.awt.event.ActionEvent event) { if(historyModel != null) { historyModel.setHistoryEntry(index); } } }