| Index: chrome/common/pref_names.h
|
| diff --git a/chrome/common/pref_names.h b/chrome/common/pref_names.h
|
| index 4182c7b217d5a6e91e962f8715f7b3eae457efd6..d7f515454b2b15e74f60e9297d9a06334ca7e7f1 100644
|
| --- a/chrome/common/pref_names.h
|
| +++ b/chrome/common/pref_names.h
|
| @@ -414,6 +414,7 @@ extern const char kGpuBlacklistUpdate[];
|
| extern const char kDevToolsDisabled[];
|
| extern const char kDevToolsOpenDocked[];
|
| extern const char kDevToolsSplitLocation[];
|
| +extern const char kDevToolsWidgetHeight[];
|
| extern const char kSyncSessions[];
|
|
|
| extern const char kSyncLastSyncedTime[];
|
|
|