Index: third_party/google_input_tools/third_party/closure_library/closure/goog/events/browserevent.js |
diff --git a/third_party/google_input_tools/third_party/closure_library/closure/goog/events/browserevent.js b/third_party/google_input_tools/third_party/closure_library/closure/goog/events/browserevent.js |
index a04b31f3e7cf35851239c476d43f3d8b6a1a12f2..f0773ce57a0c40c56336e8298d23a15d023f6f84 100644 |
--- a/third_party/google_input_tools/third_party/closure_library/closure/goog/events/browserevent.js |
+++ b/third_party/google_input_tools/third_party/closure_library/closure/goog/events/browserevent.js |
@@ -40,6 +40,7 @@ |
* key and character code use {@link goog.events.KeyHandler}. |
* </pre> |
* |
+ * @author arv@google.com (Erik Arvidsson) |
*/ |
goog.provide('goog.events.BrowserEvent'); |
@@ -204,7 +205,7 @@ goog.events.BrowserEvent.MouseButton = { |
/** |
* Static data for mapping mouse buttons. |
- * @type {!Array.<number>} |
+ * @type {!Array<number>} |
*/ |
goog.events.BrowserEvent.IEButtonMap = [ |
1, // LEFT |
@@ -383,8 +384,3 @@ goog.events.BrowserEvent.prototype.preventDefault = function() { |
goog.events.BrowserEvent.prototype.getBrowserEvent = function() { |
return this.event_; |
}; |
- |
- |
-/** @override */ |
-goog.events.BrowserEvent.prototype.disposeInternal = function() { |
-}; |