Index: chrome/browser/tab_contents/tab_contents_view_gtk.h |
diff --git a/chrome/browser/tab_contents/tab_contents_view_gtk.h b/chrome/browser/tab_contents/tab_contents_view_gtk.h |
index 897d2b73940783f4cfece1ff33ce0b3dcb1bf4f9..aa440d9002931a4c6ecbdf852a546b1228eace35 100644 |
--- a/chrome/browser/tab_contents/tab_contents_view_gtk.h |
+++ b/chrome/browser/tab_contents/tab_contents_view_gtk.h |
@@ -18,6 +18,7 @@ |
class BlockedPopupContainerViewGtk; |
class ConstrainedWindowGtk; |
+class GtkThemeProperties; |
class RenderViewContextMenuGtk; |
class SadTabGtk; |
class WebDragDest; |
@@ -85,6 +86,9 @@ class TabContentsViewGtk : public TabContentsView, |
// Tell webkit the drag is over. |
void DragEnded(); |
+ // Called when the theme is changed. |
+ void UserChangedTheme(GtkThemeProperties* properties); |
+ |
// We keep track of the timestamp of the latest mousedown event. |
static gboolean OnMouseDown(GtkWidget* widget, |
GdkEventButton* event, TabContentsViewGtk* view); |