| Index: third_party/google_input_tools/src/chrome/os/sounds/soundcontroller.js
|
| diff --git a/third_party/google_input_tools/src/chrome/os/sounds/soundcontroller.js b/third_party/google_input_tools/src/chrome/os/sounds/soundcontroller.js
|
| index c3f037cac32fc39c894ce95c6bd745bc70060e61..ec0cff83ec5f48bd947b6dc410b2e3423217830d 100644
|
| --- a/third_party/google_input_tools/src/chrome/os/sounds/soundcontroller.js
|
| +++ b/third_party/google_input_tools/src/chrome/os/sounds/soundcontroller.js
|
| @@ -15,12 +15,12 @@ goog.provide('i18n.input.chrome.sounds.SoundController');
|
|
|
| goog.require('goog.Disposable');
|
| goog.require('goog.dom');
|
| -goog.require('i18n.input.chrome.inputview.elements.ElementType');
|
| +goog.require('i18n.input.chrome.ElementType');
|
| goog.require('i18n.input.chrome.sounds.Sounds');
|
|
|
| goog.scope(function() {
|
| var Sounds = i18n.input.chrome.sounds.Sounds;
|
| -var ElementType = i18n.input.chrome.inputview.elements.ElementType;
|
| +var ElementType = i18n.input.chrome.ElementType;
|
| var keyToSoundIdOnKeyUp = {};
|
| var keyToSoundIdOnKeyRepeat = {};
|
|
|
|
|