protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }
protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }
private void createBody(Composite parent) { IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore(); JavaSourceViewer bodyEditor= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.WRAP | SWT.BORDER, store); bodyEditor.configure(new JavaSourceViewerConfiguration(JavaPlugin.getDefault().getJavaTextTools().getColorManager(), store, null, null)); bodyEditor.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); Document bodyDocument= new Document(getInitialBody()); bodyEditor.setDocument(bodyDocument); bodyEditor.setEditable(true); Control bodyControl= bodyEditor.getControl(); PixelConverter pixelConverter= new PixelConverter(bodyControl); GridData gdata= new GridData(GridData.FILL_BOTH); gdata.widthHint= pixelConverter.convertWidthInCharsToPixels(50); gdata.minimumHeight= pixelConverter.convertHeightInCharsToPixels(5); bodyControl.setLayoutData(gdata); bodyControl.setFocus(); bodyDocument.addDocumentListener(new IDocumentListener() { @Override public void documentAboutToBeChanged(DocumentEvent event) { } @Override public void documentChanged(DocumentEvent event) { try { fRefactoring.setBody(event.getDocument().get(), fRefactoring.getMethod().getParameterNames()); } catch (JavaModelException ex) { // TODO Auto-generated catch block JavaPlugin.log(ex); } } }); }
bodyControl.setFocus(); bodyDocument.addDocumentListener(new IDocumentListener() { public void documentAboutToBeChanged(DocumentEvent event) {
private void createBody(Composite parent) { IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore(); JavaSourceViewer bodyEditor= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.WRAP | SWT.BORDER, store); bodyEditor.configure(new JavaSourceViewerConfiguration(JavaPlugin.getDefault().getJavaTextTools().getColorManager(), store, null, null)); bodyEditor.getTextWidget().setFont(JFaceResources.getFont(PreferenceConstants.EDITOR_TEXT_FONT)); Document bodyDocument= new Document(getInitialBody()); bodyEditor.setDocument(bodyDocument); bodyEditor.setEditable(true); Control bodyControl= bodyEditor.getControl(); PixelConverter pixelConverter= new PixelConverter(bodyControl); GridData gdata= new GridData(GridData.FILL_BOTH); gdata.widthHint= pixelConverter.convertWidthInCharsToPixels(50); gdata.minimumHeight= pixelConverter.convertHeightInCharsToPixels(5); bodyControl.setLayoutData(gdata); bodyControl.setFocus(); bodyDocument.addDocumentListener(new IDocumentListener() { @Override public void documentAboutToBeChanged(DocumentEvent event) { } @Override public void documentChanged(DocumentEvent event) { try { fRefactoring.setBody(event.getDocument().get(), fRefactoring.getMethod().getParameterNames()); } catch (JavaModelException ex) { // TODO Auto-generated catch block JavaPlugin.log(ex); } } }); }
if (fSnippetDocument == null) { fSnippetDocument= new Document(); fSnippetDocument.addDocumentListener(this);