if(preStyle.getSelection( ) == false) { return; }
			public void widgetSelected( SelectionEvent e )			{				setPredefinedStyle( true );				preName.setFocus( );				if ( preName.getSelectionIndex( ) == -1 )				{					preName.select( 0 );				}				selectedType = TYPE_PREDEFINED;				checkPageValid( );			}