fFramePosition= position;
	private void previous() {		redrawRegion();				fFramePosition= fManager.getPreviousPosition(fFramePosition.getOffset());		if (fFramePosition == null) {			fViewer.getTextWidget().getDisplay().beep();		} else {			selectRegion();			redrawRegion();		}					}