|
Lines 37-43
Link Here
|
| 37 |
Group group = new Group( parent, SWT.NONE ); |
37 |
Group group = new Group( parent, SWT.NONE ); |
| 38 |
group.setLayoutData( new GridData( SWT.FILL, SWT.TOP, true, false ) ); |
38 |
group.setLayoutData( new GridData( SWT.FILL, SWT.TOP, true, false ) ); |
| 39 |
group.setText( "Server Settings" ); |
39 |
group.setText( "Server Settings" ); |
| 40 |
group.setLayout( new GridLayout( 2, false ) ); |
40 |
group.setLayout( new GridLayout( 4, false ) ); |
| 41 |
cbManualPort = createCheckButton( group, "Use a fixed &port:" ); |
41 |
cbManualPort = createCheckButton( group, "Use a fixed &port:" ); |
| 42 |
cbManualPort.addSelectionListener( new UpdateConfigSelectionListener() ); |
42 |
cbManualPort.addSelectionListener( new UpdateConfigSelectionListener() ); |
| 43 |
spnPort = new Spinner( group, SWT.BORDER ); |
43 |
spnPort = new Spinner( group, SWT.BORDER ); |
|
Lines 46-51
Link Here
|
| 46 |
spnPort.setMaximum( RWTLaunchConfig.MAX_PORT_NUMBER ); |
46 |
spnPort.setMaximum( RWTLaunchConfig.MAX_PORT_NUMBER ); |
| 47 |
spnPort.addModifyListener( new UpdateConfigModifyListener() ); |
47 |
spnPort.addModifyListener( new UpdateConfigModifyListener() ); |
| 48 |
cbSessionTimeout = new Button( group, SWT.CHECK ); |
48 |
cbSessionTimeout = new Button( group, SWT.CHECK ); |
|
|
49 |
GridDataFactory.fillDefaults().indent( 50, 0 ).applyTo( cbSessionTimeout ); |
| 49 |
cbSessionTimeout.setText( "Session &timeout [min]:" ); |
50 |
cbSessionTimeout.setText( "Session &timeout [min]:" ); |
| 50 |
cbSessionTimeout.addSelectionListener( new UpdateConfigSelectionListener() ); |
51 |
cbSessionTimeout.addSelectionListener( new UpdateConfigSelectionListener() ); |
| 51 |
spnSessionTimeout = new Spinner( group, SWT.BORDER ); |
52 |
spnSessionTimeout = new Spinner( group, SWT.BORDER ); |
|
Lines 57-63
Link Here
|
| 57 |
cbContextPath.setText( "Context pat&h:" ); |
58 |
cbContextPath.setText( "Context pat&h:" ); |
| 58 |
cbContextPath.addSelectionListener( new UpdateConfigSelectionListener() ); |
59 |
cbContextPath.addSelectionListener( new UpdateConfigSelectionListener() ); |
| 59 |
txtContextPath = new Text( group, SWT.BORDER | SWT.SINGLE ); |
60 |
txtContextPath = new Text( group, SWT.BORDER | SWT.SINGLE ); |
| 60 |
GridDataFactory.fillDefaults().grab( true, false ).applyTo( txtContextPath ); |
61 |
GridDataFactory.fillDefaults().grab( true, false ).span( 3, 1 ).applyTo( txtContextPath ); |
| 61 |
txtContextPath.addModifyListener( new UpdateConfigModifyListener() ); |
62 |
txtContextPath.addModifyListener( new UpdateConfigModifyListener() ); |
| 62 |
updateEnablement(); |
63 |
updateEnablement(); |
| 63 |
setControl( group ); |
64 |
setControl( group ); |