if (adjustWidth) { fProposalShell.setLocation(getLocation()); }
	private void resizeProposalSelector(boolean adjustWidth) {		// in order to fill in the table items so size computation works correctly		// will cause flicker, though		fProposalTable.setRedraw(true);		int width= adjustWidth ? SWT.DEFAULT : ((GridData)fProposalTable.getLayoutData()).widthHint;		Point size= fProposalTable.computeSize(width, SWT.DEFAULT, true);				GridData data= new GridData(GridData.FILL_BOTH);		data.widthHint= adjustWidth ? Math.min(size.x, 300) : width;		data.heightHint= Math.min(getTableHeightHint(fProposalTable, fProposalTable.getItemCount() - 1), getTableHeightHint(fProposalTable, 9));		fProposalTable.setLayoutData(data);				fProposalShell.layout(true);		fProposalShell.pack();	}