Index: Source/devtools/front_end/Settings.js |
diff --git a/Source/devtools/front_end/Settings.js b/Source/devtools/front_end/Settings.js |
index 0fdeafa6f35bb6891c5d8c716984f2adaa31627d..756804e4b5359fb17e600431de698712f7c8ff88 100644 |
--- a/Source/devtools/front_end/Settings.js |
+++ b/Source/devtools/front_end/Settings.js |
@@ -278,6 +278,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(); |
} |