Skip to content

Commit

Permalink
fixed an issue
Browse files Browse the repository at this point in the history
  • Loading branch information
soimugeo committed Jun 5, 2024
1 parent 5eccede commit 05c39ee
Showing 1 changed file with 2 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -112,6 +112,7 @@ public void clear() {
textBox.setText("");
reasonForChangeTextBox.setText("");
clearErrors();
clearClassesWithCycle();
}

@Nonnull
Expand All @@ -132,8 +133,8 @@ public void clearClassesWithCycle() {

@Override
public void markClassesWithCycles(Set<OWLEntityData> classesWithCycles) {
classesWithCyclesWarningField.setVisible(true);
String classes = classesWithCycles.stream().map(OWLEntityData::getBrowserText).collect(Collectors.joining(", "));
classesWithCyclesWarningField.setHTML(messages.classHierarchy_cyclesHaveBeenCreated(classes));
classesWithCyclesWarningField.setVisible(true);
}
}

0 comments on commit 05c39ee

Please sign in to comment.