コード例 #1
0
ファイル: List.java プロジェクト: andreasbaumann/tomato
 /**
  * Makes the item at the specified index selected.
  *
  * @param index The index of the item to select.
  */
 public synchronized void select(int index) {
   ListPeer lp = (ListPeer) getPeer();
   if (lp != null) lp.select(index);
 }