if ( selectedParameter != null && selectedParameter != newParameter ) { try { String newControlType = getSelectedDisplayType( ); if ( PARAM_CONTROL_COMBO.equals( newControlType ) ) { newControlType = DesignChoiceConstants.PARAM_CONTROL_LIST_BOX; selectedParameter.setMustMatch( true ); } else if ( PARAM_CONTROL_LIST.equals( newControlType ) ) { newControlType = DesignChoiceConstants.PARAM_CONTROL_LIST_BOX; selectedParameter.setMustMatch( false ); } else { selectedParameter.setProperty( ScalarParameterHandle.MUCH_MATCH_PROP, null ); } selectedParameter.setControlType( newControlType ); } catch ( SemanticException e1 ) { ExceptionHandler.handle( e1 ); } }
popupFormatBuilder( true );
			public void widgetSelected( SelectionEvent e )			{				if ( selectedParameter != null						&& selectedParameter != newParameter )				{					try					{						String newControlType = getSelectedDisplayType( );						if ( PARAM_CONTROL_COMBO.equals( newControlType ) )						{							newControlType = DesignChoiceConstants.PARAM_CONTROL_LIST_BOX;							selectedParameter.setMustMatch( true );						}						else if ( PARAM_CONTROL_LIST.equals( newControlType ) )						{							newControlType = DesignChoiceConstants.PARAM_CONTROL_LIST_BOX;							selectedParameter.setMustMatch( false );						}						else						{							selectedParameter.setProperty( ScalarParameterHandle.MUCH_MATCH_PROP,									null );						}						selectedParameter.setControlType( newControlType );					}					catch ( SemanticException e1 )					{						ExceptionHandler.handle( e1 );					}				}			}