Merge pull request #3821 from APriestman/fixUncheckedCast

Fix unchecked cast warning.
This commit is contained in:
Richard Cordovano 2018-06-11 10:27:36 -04:00 committed by GitHub
commit 3fd1c4c0ea
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -65,10 +65,12 @@ public class DataSourcePanel extends javax.swing.JPanel {
@Override
public void mouseMoved(MouseEvent evt) {
JList<String> DsList = (JList<String>) evt.getSource();
int index = DsList.locationToIndex(evt.getPoint());
if (evt.getSource() instanceof JList<?>) {
JList<?> dsList = (JList<?>) evt.getSource();
int index = dsList.locationToIndex(evt.getPoint());
if (index > -1) {
DsList.setToolTipText(toolTipList.get(index));
dsList.setToolTipText(toolTipList.get(index));
}
}
}
});