fText.setSelection(start, start);
if (start <= region.getLength()); fText.setSelection(start, start);
	private void leave(boolean accept) {//		fTemplateEngine.setEnabled(true);				fText.removePaintListener(this);		fText.removeVerifyKeyListener(this);		fContext.getViewer().getDocument().removeDocumentListener(this);		fText.removeModifyListener(this);				if (accept) {			int start= fModel.getCaretOffset() + fContext.getStart();						IRegion region= fContext.getViewer().getVisibleRegion();			start -= region.getOffset();						fText.setSelection(start, start);		} else {			// restore old text			try {				fContext.getViewer().getDocument().replace(fContext.getStart(),					fModel.getTotalSize(), fOldText);			} catch (BadLocationException e) {				JavaPlugin.log(e);				}		}				redraw();	}