handle.setContentType( DesignChoiceConstants.TEXT_CONTENT_TYPE_HTML );
handle.setContentType( DesignChoiceConstants.TEXT_CONTENT_TYPE_AUTO );
	protected void okPressed( )	{		String result = textEditor.getText( );		try		{			if ( textTypeChoicer.getSelectionIndex( ) == 1 )			{				handle.setContentType( DesignChoiceConstants.TEXT_CONTENT_TYPE_HTML );			}			else			{				handle.setContentType( DesignChoiceConstants.TEXT_CONTENT_TYPE_PLAIN );			}			handle.setContent( result.length( ) > 0 ? result : null );		}		catch ( SemanticException e )		{			ExceptionHandler.handle( e );		}		setResult( handle );		super.okPressed( );	}