Chromium Code Reviews| Index: chrome/common/pref_names.cc |
| diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
| index 1a7397e0cf81bb24980f2ad015f939191e8f27d9..51e0da51f175124672e2ed2e660260a4cda8d9f8 100644 |
| --- a/chrome/common/pref_names.cc |
| +++ b/chrome/common/pref_names.cc |
| @@ -1632,6 +1632,10 @@ const char kDevToolsDockSide[] = "devtools.dock_side"; |
| // Maps of files edited locally using DevTools. |
| const char kDevToolsEditedFiles[] = "devtools.edited_files"; |
| +// List of file system pathes mapped by DevTools. |
| +const char kDevToolsSavedFileSystemPathes[] = |
| + "devtools.saved_file_system_pathes"; |
|
pfeldman
2012/12/24 19:01:03
paths
|
| + |
| // Integer location of the horizontal split bar in the browser view. |
| const char kDevToolsHSplitLocation[] = "devtools.split_location"; |