Index: Source/devtools/front_end/SettingsScreen.js |
diff --git a/Source/devtools/front_end/SettingsScreen.js b/Source/devtools/front_end/SettingsScreen.js |
index cd558beb909a9a53c0715120ecfcf67bb0c7410c..52cc24e4ec8574236dd57c4f435c159873693c47 100644 |
--- a/Source/devtools/front_end/SettingsScreen.js |
+++ b/Source/devtools/front_end/SettingsScreen.js |
@@ -341,6 +341,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); |