410411412413414415416417418419420
value = "0"; } int level = Integer.parseInt(value); spinner.setSelection(level); spinner.setFocus(); spinner.addFocusListener(new FocusListener() { public void focusGained(FocusEvent e) { } public void focusLost(FocusEvent e) {
114115116117118119120121122123124
labelShort.setLayoutData(data); labelShort.setToolTipText(element.getLongFormat()); previousGroupAnchor = labelShort; spinner.addFocusListener(listener); i++; } if (getPropertyAnnotation().required()) {