formatChoicer.setEnabled( index == 1 ); formatTagsBar.setEnabled( index == 1 ); commonTagsBar.setEnabled( index == 1 );
formatChoicer.setEnabled( index != PLAIN_INDEX ); formatTagsBar.setEnabled( index != PLAIN_INDEX ); commonTagsBar.setEnabled( index != PLAIN_INDEX );
			public void widgetSelected( SelectionEvent e )			{				final int index = textTypeChoicer.getSelectionIndex( );				formatChoicer.setEnabled( index == 1 );				formatTagsBar.setEnabled( index == 1 );				commonTagsBar.setEnabled( index == 1 );				// set the enablement of all html tags when the text type is				// changed.				ToolItem[] toolItems = formatTagsBar.getItems( );				ToolItem[] commonTags = commonTagsBar.getItems( );				for ( int i = 1; i < toolItems.length; i++ )				{					toolItems[i].setEnabled( formatTagsBar.isEnabled( ) );				}				for ( int i = 1; i < commonTags.length; i++ )				{					commonTags[i].setEnabled( commonTagsBar.isEnabled( ) );				}				textEditor.setFocus( );			}