final TextBox priorityTextBox = new TextBox();
priorityTextBox.setWidth( "30px" );
priorityTextBox.setText( constraint.getPriority() + "" );
priorityTextBox.addFocusListener( new FocusListener() {
public void onFocus(Widget arg1) {
priorityTextBox.selectAll();
}
public void onLostFocus(Widget arg1) {
final Constraint constraint = constraints.get( connectionRef );
constraint.setPriority( Integer.parseInt( priorityTextBox.getText() ) );
constraints.put( connectionRef,
constraint );
}
} );
final TextBox constraintTextBox = new TextBox();
constraintTextBox.setWidth( "300px" );
constraintTextBox.setText( constraint.getConstraint() );
constraintTextBox.addFocusListener( new FocusListener() {
public void onFocus(Widget arg1) {
constraintTextBox.selectAll();
}
public void onLostFocus(Widget arg1) {