equal
deleted
inserted
replaced
1746 |
1746 |
1747 public void clearSelection() { |
1747 public void clearSelection() { |
1748 if (listSelectionModel != null) { |
1748 if (listSelectionModel != null) { |
1749 listSelectionModel.clearSelection(); |
1749 listSelectionModel.clearSelection(); |
1750 if (listSelectionModel instanceof DefaultListSelectionModel) { |
1750 if (listSelectionModel instanceof DefaultListSelectionModel) { |
1751 ((DefaultListSelectionModel)listSelectionModel).moveLeadSelectionIndex(0); |
1751 ((DefaultListSelectionModel)listSelectionModel).moveLeadSelectionIndex(-1); |
1752 listSelectionModel.setAnchorSelectionIndex(0); |
1752 listSelectionModel.setAnchorSelectionIndex(-1); |
1753 } |
1753 } |
1754 } |
1754 } |
1755 } |
1755 } |
1756 |
1756 |
1757 public JMenu getViewMenu() { |
1757 public JMenu getViewMenu() { |