bookmarkEditor.setText( bookmarkChooser.getText( ) ); updateButtons( );
initAnchorChooser( targetReportHandle, false );
			public void widgetSelected( SelectionEvent e )			{				bookmarkEditor.setText( bookmarkChooser.getText( ) );				updateButtons( );			}