| Index: Source/devtools/front_end/Settings.js
|
| diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js
|
| index 999f918b6898755f811c2be09d25013242072bea..092f4b8268d01f850a145fae71fc68617784cc7f 100644
|
| --- a/Source/devtools/front_end/Settings.js
|
| +++ b/Source/devtools/front_end/Settings.js
|
| @@ -273,6 +273,7 @@ WebInspector.ExperimentsSettings = function()
|
| this.screencast = this._createExperiment("screencast", "Enable screencast");
|
| this.stepIntoSelection = this._createExperiment("stepIntoSelection", "Show step-in candidates while debugging.");
|
| this.openConsoleWithCtrlTilde = this._createExperiment("openConsoleWithCtrlTilde", "Open console with Ctrl/Cmd+Tilde, not Esc");
|
| + this.jumpToPreviousLocation = this._createExperiment("jumpToPreviousLocation", "Jump between editing locations with Alt+/Alt-");
|
|
|
| this._cleanUpSetting();
|
| }
|
|
|