| Index: chrome/common/pref_names.cc
|
| diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc
|
| index 62f3a03471f5ce0a9d2cd4d05d23a06a2856b233..bae6df8ebd06fd9bee5fda8bbc8864fe8aecaf59 100644
|
| --- a/chrome/common/pref_names.cc
|
| +++ b/chrome/common/pref_names.cc
|
| @@ -1561,6 +1561,11 @@ const char kDevToolsHSplitLocation[] = "devtools.split_location";
|
| // Integer location of the vertical split bar in the browser view.
|
| const char kDevToolsVSplitLocation[] = "devtools.v_split_location";
|
|
|
| +#if defined(OS_ANDROID)
|
| +// A boolean specifying whether remote dev tools debugging is enabled.
|
| +const char kDevToolsRemoteEnabled[] = "devtools.remote_enabled";
|
| +#endif
|
| +
|
| // Maps of files edited locally using DevTools.
|
| const char kDevToolsEditedFiles[] = "devtools.edited_files";
|
|
|
|
|