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); |