| 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,
|
|
|