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_; |