| Index: Source/devtools/front_end/ui/SettingsUI.js
|
| diff --git a/Source/devtools/front_end/ui/SettingsUI.js b/Source/devtools/front_end/ui/SettingsUI.js
|
| index a3dc3f0018b29d92582ff889e218cebe382712cf..210bbbee721e08aedece1376f1504acfa0a6106e 100644
|
| --- a/Source/devtools/front_end/ui/SettingsUI.js
|
| +++ b/Source/devtools/front_end/ui/SettingsUI.js
|
| @@ -109,6 +109,7 @@ WebInspector.SettingsUI.createSettingInputField = function(label, setting, numer
|
| inputElement.addEventListener("change", onInput, false);
|
| inputElement.addEventListener("input", onInput, false);
|
| }
|
| + inputElement.addEventListener("keydown", onKeyDown, false);
|
|
|
| var errorMessageLabel;
|
| if (validatorCallback) {
|
| @@ -125,6 +126,12 @@ WebInspector.SettingsUI.createSettingInputField = function(label, setting, numer
|
| apply();
|
| }
|
|
|
| + function onKeyDown(event)
|
| + {
|
| + if (isEnterKey(event))
|
| + apply();
|
| + }
|
| +
|
| function validate()
|
| {
|
| var error = validatorCallback(inputElement.value);
|
|
|