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