Index: third_party/google_input_tools/src/chrome/os/inputview/elements/content/enterkey.js |
diff --git a/third_party/google_input_tools/src/chrome/os/inputview/elements/content/enterkey.js b/third_party/google_input_tools/src/chrome/os/inputview/elements/content/enterkey.js |
index 5ac654682bdf0fc9ebb34c8623c4642d5a2999c4..24ce25d35d2f8f718cc3b203a237766a1e67c244 100644 |
--- a/third_party/google_input_tools/src/chrome/os/inputview/elements/content/enterkey.js |
+++ b/third_party/google_input_tools/src/chrome/os/inputview/elements/content/enterkey.js |
@@ -13,10 +13,11 @@ |
// |
goog.provide('i18n.input.chrome.inputview.elements.content.EnterKey'); |
+goog.require('i18n.input.chrome.ElementType'); |
goog.require('i18n.input.chrome.inputview.elements.content.FunctionalKey'); |
goog.scope(function() { |
-var ElementType = i18n.input.chrome.inputview.elements.ElementType; |
+var ElementType = i18n.input.chrome.ElementType; |