bookmarkEditor.setText( anchorChooser.getText( ) );
if ( anchorChooser.getData( ) instanceof List ) { List value = (List) anchorChooser.getData( ); bookmarkEditor.setText( (String) value.get( anchorChooser.getSelectionIndex( ) ) ); } else { bookmarkEditor.setText( anchorChooser.getText( ) ); }
			public void widgetSelected( SelectionEvent e )			{				bookmarkEditor.setText( anchorChooser.getText( ) );				updateButtons( );			}