| Index: chrome/browser/gtk/bookmark_bar_gtk.h
|
| diff --git a/chrome/browser/gtk/bookmark_bar_gtk.h b/chrome/browser/gtk/bookmark_bar_gtk.h
|
| index 3d0c03cc17b28b34435ae816372f3419b50a04bb..04c9eaa6e8679644fc93fde7dc60251963949b07 100644
|
| --- a/chrome/browser/gtk/bookmark_bar_gtk.h
|
| +++ b/chrome/browser/gtk/bookmark_bar_gtk.h
|
| @@ -21,6 +21,7 @@ class CustomContainerButton;
|
| class NineBox;
|
| class PageNavigator;
|
| class Profile;
|
| +struct GtkThemeProperties;
|
|
|
| class BookmarkBarGtk : public AnimationDelegate,
|
| public BookmarkModelObserver {
|
| @@ -68,7 +69,7 @@ class BookmarkBarGtk : public AnimationDelegate,
|
| bool IsAlwaysShown();
|
|
|
| // Alerts us that the theme changed, and we might need to change theme images.
|
| - void UserChangedTheme(Profile* profile);
|
| + void UserChangedTheme(GtkThemeProperties* properties);
|
|
|
| // AnimationDelegate implementation ------------------------------------------
|
| virtual void AnimationProgressed(const Animation* animation);
|
| @@ -211,6 +212,10 @@ class BookmarkBarGtk : public AnimationDelegate,
|
| // The other bookmarks button.
|
| GtkWidget* other_bookmarks_button_;
|
|
|
| + // The label inside |other_bookmarks_button_|. We keep a reference so we can
|
| + // change the text color.
|
| + GtkWidget* other_bookmarks_label_;
|
| +
|
| // Whether we should ignore the next button release event (because we were
|
| // dragging).
|
| bool ignore_button_release_;
|
|
|