Index: Source/devtools/front_end/SettingsScreen.js |
diff --git a/Source/devtools/front_end/SettingsScreen.js b/Source/devtools/front_end/SettingsScreen.js |
index a4ea1f93fc68af64bd7b224500ec0171fa738163..de132f4c591fc3c19599b42d8b9ecaab88a5290f 100644 |
--- a/Source/devtools/front_end/SettingsScreen.js |
+++ b/Source/devtools/front_end/SettingsScreen.js |
@@ -340,6 +340,7 @@ WebInspector.GenericSettingsTab = function() |
p = this._appendSection(WebInspector.UIString("Console")); |
p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Log XMLHttpRequests"), WebInspector.settings.monitoringXHREnabled)); |
p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Preserve log upon navigation"), WebInspector.settings.preserveConsoleLog)); |
+ p.appendChild(WebInspector.SettingsUI.createSettingCheckbox(WebInspector.UIString("Show timestamps"), WebInspector.settings.consoleTimestampsEnabled)); |
if (WebInspector.openAnchorLocationRegistry.handlerNames.length > 0) { |
var handlerSelector = new WebInspector.HandlerSelector(WebInspector.openAnchorLocationRegistry); |