Use a wildcard type parameter for JList in DrawingListPanel

magmaOffenburg · Aug 3, 2023 · 795b30b · 795b30b
1 parent 5f92d0d
commit 795b30b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/rv/ui/DrawingListPanel.java b/src/main/java/rv/ui/DrawingListPanel.java
@@ -123,7 +123,7 @@ public void mouseClicked(MouseEvent event)
 			{
 				// TODO: try/catch really needed?
 				try {
-					JList list = (JList) event.getSource();
+					JList<?> list = (JList<?>) event.getSource();
 					int index = list.locationToIndex(event.getPoint());
 					CheckListItem item = (CheckListItem) list.getModel().getElementAt(index);
 					item.setSelected(!item.isSelected());