Index: chrome/browser/gtk/tabs/tab_strip_gtk.h |
diff --git a/chrome/browser/gtk/tabs/tab_strip_gtk.h b/chrome/browser/gtk/tabs/tab_strip_gtk.h |
index 6cb6ef1ebd4912df19b61c8fcf9c20820ce68759..c7c3b1f99c2fd24b32798bc8dc1054b758abd4c3 100644 |
--- a/chrome/browser/gtk/tabs/tab_strip_gtk.h |
+++ b/chrome/browser/gtk/tabs/tab_strip_gtk.h |
@@ -18,6 +18,7 @@ |
class CustomDrawButton; |
class DraggedTabControllerGtk; |
+class GtkThemeProperties; |
class TabStripGtk : public TabStripModelObserver, |
public TabGtk::TabDelegate, |
@@ -83,6 +84,9 @@ class TabStripGtk : public TabStripModelObserver, |
// allocated. |
gfx::Point GetTabStripOriginForWidget(GtkWidget* widget); |
+ // Alerts us that the theme changed, and we might need to change theme images. |
+ void UserChangedTheme(GtkThemeProperties* properties); |
+ |
protected: |
// TabStripModelObserver implementation: |
virtual void TabInsertedAt(TabContents* contents, |