javadoc typo
diff --git a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java index 7a17284..19113eb 100644 --- a/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java +++ b/org.eclipse.jface.text/src/org/eclipse/jface/text/TextViewer.java
@@ -52,6 +52,7 @@ import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Control; import org.eclipse.swt.widgets.Display; +import org.eclipse.swt.widgets.Event; import org.eclipse.swt.widgets.ScrollBar; import org.eclipse.jface.viewers.IPostSelectionProvider; @@ -356,7 +357,7 @@ } } - /** List of registed verify key listeners. */ + /** List of registered verify key listeners. */ private List fListeners= new ArrayList(); /** List of pending batches. */ private List fBatched= new ArrayList(); @@ -4733,4 +4734,45 @@ fTextPresentationListeners= null; } } + + /* + * @see org.eclipse.jface.text.ITypingTarget#replace(int, int, java.lang.String) + */ + public void replace(int offset, int length, String text) throws BadLocationException { + Event event2= new Event(); + event2.widget= getTextWidget(); + VerifyEvent event= new VerifyEvent(event2); + event.start= modelOffset2WidgetOffset(offset); + event.end= modelOffset2WidgetOffset(offset + length); + event.text= text; + event.character= '\0'; + event.doit= true; + int textLen= text == null ? 0 : text.length(); + handleVerifyEvent(event); + if (event.doit) { + getDocument().replace(offset, length, text); + getTextWidget().setSelection(event.start + textLen); + } + } + + /* + * @see org.eclipse.jface.text.ITypingTarget#type(int, int, char, int) + */ + public void type(int offset, int length, char ch, int statemask) throws BadLocationException { + Event event2= new Event(); + event2.widget= getTextWidget(); + VerifyEvent event= new VerifyEvent(event2); + event.start= modelOffset2WidgetOffset(offset); + event.end= modelOffset2WidgetOffset(offset + length); + event.character= ch; + event.text= String.valueOf(ch); + event.stateMask= statemask; + event.doit= true; + fVerifyKeyListenersManager.verifyKey(event); + handleVerifyEvent(event); + if (event.doit && statemask == 0) { + getDocument().replace(offset, length, event.text); + getTextWidget().setSelection(event.start + 1); + } + } }