| Index: chrome/common/pref_names.cc
|
| diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc
|
| index eece5eb62a8a99984546ae59c251e176d5383896..4e906e6a9806d9cbceacc4ca41b6af2aab1911c3 100644
|
| --- a/chrome/common/pref_names.cc
|
| +++ b/chrome/common/pref_names.cc
|
| @@ -1787,9 +1787,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";
|
|
|
|
|