| Index: Source/devtools/devtools.gypi
|
| diff --git a/Source/devtools/devtools.gypi b/Source/devtools/devtools.gypi
|
| index f91192c21bfadb093c51e4122b22f88d4355596f..7beabdcd8c35b8339ad6602c6322aca101d1b524 100644
|
| --- a/Source/devtools/devtools.gypi
|
| +++ b/Source/devtools/devtools.gypi
|
| @@ -413,6 +413,7 @@
|
| 'front_end/elements/MetricsSidebarPane.js',
|
| 'front_end/elements/PlatformFontsWidget.js',
|
| 'front_end/elements/PropertiesWidget.js',
|
| + 'front_end/elements/PropertyChangeHighlighter.js',
|
| 'front_end/elements/Spectrum.js',
|
| 'front_end/elements/StylesPopoverHelper.js',
|
| 'front_end/elements/StylesSectionModel.js',
|
|
|