| 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);
|
|
|