111112113114115116117118119120121
* Return the increment of the spinner. * * @return the increment of the spinner. */ public int getIncrement() { return syncExec(new IntResult() { public Integer run() { return widget.getIncrement(); } }); }
124125126127128129130131132133134
* Return the page increment of the spinner. * * @return the increment of the spinner. */ public int getPageIncrement() { return syncExec(new IntResult() { public Integer run() { return widget.getPageIncrement(); } }); }
137138139140141142143144145146147
* Return the number of decimal places of the spinner. * * @return the number of decimal places of the spinner. */ public int getDigits() { return syncExec(new IntResult() { public Integer run() { return widget.getDigits(); } }); }
129130131132133134135136137138139
private int getSwtObjectCount() { final SWTBot bot = new SWTBot(); return UIThreadRunnable.syncExec( bot.getDisplay(), new IntResult() { public Integer run() { DeviceData info = bot.getDisplay().getDeviceData(); if ( !info.tracking )
128129130131132133134135136137138
118119120121122123124125126127128
* 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(); } }); }
5556575859606162636465
* Return the current value of the spinner. * * @return the current selection in the spinner. */ public int getSelection() { return syncExec(new IntResult() { public Integer run() { return widget.getSelection(); } }); }
8586878889909192939495
* Return the maximum value the spinner will accept. * * @return the maximum of the spinner. */ public int getMaximum() { return syncExec(new IntResult() { public Integer run() { return widget.getMaximum(); } }); }
9899100101102103104105106107108
* Return the minimum value the spinner will accept. * * @return the minimum of the spinner. */ public int getMinimum() { return syncExec(new IntResult() { public Integer run() { return widget.getMinimum(); } }); }