Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index 0b8cace3896e5d93741d62cf43363eb8a5477bd0..2afbc43fd818e63f7b061cacbdc098c63b2e8262 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1793,9 +1793,6 @@ const char kDevToolsDisabled[] = "devtools.disabled"; |
const char kDevToolsDiscoverUsbDevicesEnabled[] = |
"devtools.discover_usb_devices"; |
-// A string specifying the dock location (either 'bottom' or 'right'). |
-const char kDevToolsDockSide[] = "devtools.dock_side"; |
- |
// Maps of files edited locally using DevTools. |
const char kDevToolsEditedFiles[] = "devtools.edited_files"; |