115116117118119120121122123124125
* Returns the number of items contained in the receiver that are direct item children of the receiver. * * @return the number of items */ public int rowCount() { return syncExec(new IntResult() { public Integer run() { return widget.getItemCount(); } }); }
949596979899100101102103104
* Gets the item count in the list * * @return the number of items in the list. */ public int itemCount() { return syncExec(new IntResult() { public Integer run() { return widget.getItemCount(); } }); }
107108109110111112113114115116117
* Gets the selection count. * * @return the number of selected items in the list. */ public int selectionCount() { return syncExec(new IntResult() { public Integer run() { return widget.getSelectionCount(); } }); }
193194195196197198199200201202203
* * @param item the search item. * @return the index of the item, or -1 if the item does not exist. */ public int indexOf(final String item) { return syncExec(new IntResult() { public Integer run() { return widget.indexOf(item); } }); }
5455565758596061626364
* Return the current value of the slider. * * @return the current selection in the slider. */ public int getSelection() { return syncExec(new IntResult() { public Integer run() { return widget.getSelection(); } }); }
8485868788899091929394
* Return the maximum value the slider will accept. * * @return the maximum of the slider. */ public int getMaximum() { return syncExec(new IntResult() { public Integer run() { return widget.getMaximum(); } }); }
979899100101102103104105106107
* Return the minimum value the slider will accept. * * @return the minimum of the slider. */ public int getMinimum() { return syncExec(new IntResult() { public Integer run() { return widget.getMinimum(); } }); }
110111112113114115116117118119120
* Return the increment of the slider. * * @return the increment of the slider. */ public int getIncrement() { return syncExec(new IntResult() { public Integer run() { return widget.getIncrement(); } }); }
123124125126127128129130131132133
* Return the page increment of the slider. * * @return the increment of the slider. */ public int getPageIncrement() { return syncExec(new IntResult() { public Integer run() { return widget.getPageIncrement(); } }); }
136137138139140141142143144145146
* Return the size of the thumb of the slider. * * @return the size of the thumb of the slider. */ public int getThumb() { return syncExec(new IntResult() { public Integer run() { return widget.getThumb(); } }); }