267 |
== KeyEvent.VK_SLASH) && evt.isControlDown()) |
== KeyEvent.VK_SLASH) && evt.isControlDown()) |
268 |
{ |
{ |
269 |
BasicListUI.this.list.setSelectionInterval(0, max); |
BasicListUI.this.list.setSelectionInterval(0, max); |
270 |
|
// this next line is to restore the lead selection index to the old |
271 |
|
// position, because select-all should not change the lead index |
272 |
|
BasicListUI.this.list.addSelectionInterval(lead, lead); |
273 |
} |
} |
274 |
else if (evt.getKeyCode() == KeyEvent.VK_SPACE && evt.isControlDown()) |
else if (evt.getKeyCode() == KeyEvent.VK_SPACE && evt.isControlDown()) |
275 |
{ |
{ |