Skip to content

Commit

Permalink
Minor naming fix
Browse files Browse the repository at this point in the history
  • Loading branch information
dfuchss committed Sep 26, 2024
1 parent dad4a81 commit 192af42
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -114,16 +114,16 @@ public void mousePressed(MouseEvent e) {
.thenComparing(Annotation::getStartLine)
.thenComparing(Annotation::getEndLine));

AnnotationsTableModel model = ((AnnotationsTableModel) table.getModel());
model.setAnnotations(displayAnnotations);
AnnotationsTableModel tableModel = ((AnnotationsTableModel) table.getModel());
tableModel.setAnnotations(displayAnnotations);
table.revalidate();
table.updateUI();
}));

PluginState.getInstance().registerAssessmentClosedListener(() -> {
this.displayAnnotations.clear();
AnnotationsTableModel model = ((AnnotationsTableModel) table.getModel());
model.clearAnnotations();
AnnotationsTableModel tableModel = ((AnnotationsTableModel) table.getModel());
tableModel.clearAnnotations();
table.updateUI();
});
}
Expand Down

0 comments on commit 192af42

Please sign in to comment.