| Index: chrome/common/pref_names.cc
|
| diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc
|
| index 1e3d7f8fd91159341974970c7915ddfb0fc78189..8c43e4dca0eb4985f232832946f7a463f55558aa 100644
|
| --- a/chrome/common/pref_names.cc
|
| +++ b/chrome/common/pref_names.cc
|
| @@ -1632,6 +1632,9 @@ const char kDevToolsDockSide[] = "devtools.dock_side";
|
| // Maps of files edited locally using DevTools.
|
| const char kDevToolsEditedFiles[] = "devtools.edited_files";
|
|
|
| +// List of file system paths added in DevTools.
|
| +const char kDevToolsFilesystemPaths[] = "devtools.filesystem_paths";
|
| +
|
| // Integer location of the horizontal split bar in the browser view.
|
| const char kDevToolsHSplitLocation[] = "devtools.split_location";
|
|
|
|
|