Index: chrome/common/pref_names.cc |
diff --git a/chrome/common/pref_names.cc b/chrome/common/pref_names.cc |
index eaa2156bd40a7a610c0eba95cc480c857288b6d0..0bb8a77abefce682e6a11a5e597f9c5a04410590 100644 |
--- a/chrome/common/pref_names.cc |
+++ b/chrome/common/pref_names.cc |
@@ -1645,6 +1645,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.file_system_paths"; |
+ |
// Integer location of the horizontal split bar in the browser view. |
const char kDevToolsHSplitLocation[] = "devtools.split_location"; |