public static void update() {
// clear the new label text field
StateLabelManager.stateLabelTextField.setText("");
// refresh state group array
StateLabelManager.availableStateGroups =
ApplicationSettings.getApplicationView().getCurrentPetriNetView().getStateGroups();
// refresh dropdown menu
StateLabelManager.populateStateLabelDropdown();
// refresh the list of state group names
StateLabelManager.populateLists();
}
