Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 72e276199687c8f7056356bfe97c6e3afeeed1d1..eafaa88a67008625f09ca9fc789e302091ccd34f 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -279,6 +279,7 @@ WebInspector.ExperimentsSettings = function() |
this.showEditorInDrawer = this._createExperiment("showEditorInDrawer", "Show editor in drawer"); |
this.gpuTimeline = this._createExperiment("gpuTimeline", "Show GPU data on timeline"); |
this.applyCustomStylesheet = this._createExperiment("applyCustomStylesheet", "Allow custom UI themes"); |
+ this.jumpToPreviousLocation = this._createExperiment("jumpToPreviousLocation", "Jump between editing locations with Alt+/Alt-"); |
this._cleanUpSetting(); |
} |