if (shouldScroll) list.ensureIndexIsVisible(index); } }
  protected void updateListBoxSelectionForEvent(MouseEvent anEvent,                                                boolean shouldScroll)  {    // TODO: We need to handle the shouldScroll parameter somehow.    int index = list.locationToIndex(anEvent.getPoint());    // Check for valid index.    if (index >= 0)      list.setSelectedIndex(index);  }