| 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_;
|
|
|