Index: chrome/browser/gtk/options/general_page_gtk.h |
diff --git a/chrome/browser/gtk/options/general_page_gtk.h b/chrome/browser/gtk/options/general_page_gtk.h |
index 143f447a8a237df8b26a14cc1c4260af9b33f1ae..e788476aa05ae8f8b909d27496325d52e7d10e27 100644 |
--- a/chrome/browser/gtk/options/general_page_gtk.h |
+++ b/chrome/browser/gtk/options/general_page_gtk.h |
@@ -92,7 +92,11 @@ class GeneralPageGtk : public OptionsPageBase, |
CHROMEGTK_CALLBACK_0(GeneralPageGtk, void, OnDefaultSearchEngineChanged); |
CHROMEGTK_CALLBACK_0(GeneralPageGtk, void, |
OnDefaultSearchManageEnginesClicked); |
+ CHROMEGTK_CALLBACK_0(GeneralPageGtk, void, OnInstantToggled); |
CHROMEGTK_CALLBACK_0(GeneralPageGtk, void, OnBrowserUseAsDefaultClicked); |
+ CHROMEGTK_CALLBACK_1(GeneralPageGtk, void, OnInstantLabelSizeAllocate, |
+ GtkAllocation*); |
+ CHROMEGTK_CALLBACK_0(GeneralPageGtk, void, OnSearchLearnMoreClicked); |
CHROMEG_CALLBACK_0(GeneralPageGtk, void, OnStartupPagesSelectionChanged, |
GtkTreeSelection*); |
@@ -137,6 +141,10 @@ class GeneralPageGtk : public OptionsPageBase, |
GtkListStore* default_search_engines_model_; |
GtkWidget* default_search_manage_engines_button_; |
TemplateURLModel* template_url_model_; |
+ GtkWidget* instant_checkbox_; |
+ // This widget acts as the indent for the instant warning label. |
+ GtkWidget* instant_indent_; |
+ BooleanPrefMember instant_; |
// Widgets of the default browser group |
GtkWidget* default_browser_status_label_; |