| commit | 8db29830720b89642024a11d2848bdc00cd01e18 | [log] [tgz] |
|---|---|---|
| author | ecc@google.com <ecc@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Dec 12 15:47:28 2008 +0000 |
| committer | ecc@google.com <ecc@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> | Fri Dec 12 15:47:28 2008 +0000 |
| tree | 7345ed68f63bfa635f5b1dc11447649c7f7d14f8 | |
| parent | 66579f1bfcb3cb627a9544a854f40f7051930772 [diff] |
Using gwt formatter on deprecated message for SourcesKeyboardEvents. git-svn-id: https://google-web-toolkit.googlecode.com/svn/releases/1.6@4332 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/client/ui/SourcesKeyboardEvents.java b/user/src/com/google/gwt/user/client/ui/SourcesKeyboardEvents.java index 3da6db4..37f0ff2 100644 --- a/user/src/com/google/gwt/user/client/ui/SourcesKeyboardEvents.java +++ b/user/src/com/google/gwt/user/client/ui/SourcesKeyboardEvents.java
@@ -18,8 +18,10 @@ /** * A widget that implements this interface sources the events defined by the * {@link com.google.gwt.user.client.ui.KeyboardListener} interface. - * @deprecated use {@link com.google.gwt.com.google.gwt.event.dom.client.HasAllKeyHandlers} - * instead + * + * @deprecated use + * {@link com.google.gwt.com.google.gwt.event.dom.client.HasAllKeyHandlers} + * instead */ @Deprecated public interface SourcesKeyboardEvents {