| Index: chrome/browser/gtk/gtk_theme_provider.h
|
| diff --git a/chrome/browser/gtk/gtk_theme_provider.h b/chrome/browser/gtk/gtk_theme_provider.h
|
| index 33b1ec25200ecd692d07af8c8510857802e31869..2ecef7aa3a1b2dbbc9bccad055446ad10251b3ea 100644
|
| --- a/chrome/browser/gtk/gtk_theme_provider.h
|
| +++ b/chrome/browser/gtk/gtk_theme_provider.h
|
| @@ -12,6 +12,7 @@
|
| #include "app/gtk_integers.h"
|
| #include "app/gtk_signal.h"
|
| #include "base/scoped_ptr.h"
|
| +#include "chrome/browser/prefs/pref_change_registrar.h"
|
| #include "chrome/browser/gtk/owned_widget_gtk.h"
|
| #include "chrome/browser/themes/browser_theme_provider.h"
|
| #include "chrome/common/notification_observer.h"
|
| @@ -275,6 +276,8 @@ class GtkThemeProvider : public BrowserThemeProvider,
|
| PerDisplaySurfaceMap per_display_surfaces_;
|
| PerDisplaySurfaceMap per_display_unthemed_surfaces_;
|
|
|
| + PrefChangeRegistrar registrar_;
|
| +
|
| // This is a dummy widget that only exists so we have something to pass to
|
| // gtk_widget_render_icon().
|
| static GtkWidget* icon_widget_;
|
|
|