if (region == null) {
if (region == null || region.getLength() == 0) {
		public void mouseMove(MouseEvent event) {			if (event.widget instanceof Control && !((Control) event.widget).isFocusControl()) {				deactivate();				return;			}						if (!fActive) {				if (event.stateMask != SWT.CTRL)					return;				// Ctrl was already pressed				fActive= true;			}									ISourceViewer viewer= getSourceViewer();			if (viewer == null) {				deactivate();				return;			}							StyledText text= viewer.getTextWidget();			if (text == null || text.isDisposed()) {				deactivate();				return;			}							if ((event.stateMask & SWT.BUTTON1) != 0 && text.getSelectionCount() != 0) {				deactivate();				return;			}					IRegion region= getCurrentTextRegion(viewer);			if (region == null) {				repairRepresentation();				return;			}						highlightRegion(viewer, region);				activateCursor(viewer);														}